Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha

Wprowadzenie

W poniższym wykładzie wprowadzamy formalnie pojęcie funkcji. Bardzo duży fragment współczesnej matematyki dotyczy właśnie badania własności funkcji. W teorii zbiorów funkcje są relacjami, które spełniają dodatkowy warunek jednoznaczności. Każda funkcja jest więc zbiorem par. W teorii zbiorów, której pojęciem pierwotnym jest należenie do zbioru, reprezentowanie funkcji za pomocą zbiorów jest pewną koniecznością. W praktyce jednak patrzymy na funkcje raczej jako na operacje, działajace na elementach pewnych zbiorów. Często do opisu funkcji używamy wzorów, np. $f(a)=a^2$. Warto jednak podkreślić różnicę pomiędzy wzorem, a funkcją. Przykładowy wzór może opisywać wiele funkcji w zależności od tego z jakiego zbioru elementy będziemy podstawiać w miejsce $x$, a nawet od tego jak będziemy rozumieć podnoszenie do kwadratu (np. przez $a^2$ oznaczaliśmy iloczyn kartezjański $a\times a$, ale równocześnie dla liczby naturalnej $n$ przez $n^2$ będziemy oznaczać jej kwadrat). W kolejnych wykładach przekonamy się również, że istnieją funkcje, których nie da się opisać żadnym wzorem.

Warto wspomnieć, że rozważa się również teorie, w których pierwotnymi pojęciami są właśnie funkcje i składanie funkcji. Okazuje się, że bardzo wiele twierdzeń klasycznej matematyki (opartej na teorii zbiorów) da się udowodnić na ich gruncie. Takiemu właśnie podejściu poświęcony jest wykład
Teoria kategorii dla informatyków.

Funkcja jako relacja

W poprzednim wykładzie wyróżniliśmy pewną grupę relacji (relacje zwrotne, symetryczne i przechodznie), które to relacje nazwaliśmy relacjami równoważności. Podobnie teraz wyróżnimy pewne relacje, które nazwiemy funkcjami. Podkreślmy jeszcze raz, że funkcja jako relacja jest zbiorem, którego elementami są pary.

Definicja 2.1.

Relację $f\subset X\times Y$ nazywamy funkcją ze zbioru $X$ w zbiór $Y$, jeśli ma następujące własności:

1.

${\mathrm{\forall }}_{x\in X}{\mathrm{\forall }}_{y\in Y}{\mathrm{\forall }}_{z\in Y}((x,y)\in f\wedge (x,z)\in f)\Rightarrow (y=z).$

2. $f_L=X$

Zbiór wszystkich funkcji ze zbioru $X$ w zbiór $Y$ będziemy oznaczać przez $Y^X$.

Czyli funkcja to relacja taka, że do każdego elementu $x$ ze zbioru $X$ można dobrać dokładnie jeden element $y\in Y$ taki, że $(x,y)\in f$. Pierwsza własność mówi dokładnie tyle, że jeśli do jakiegoś elementu $x$ możemy dobrać elementy $y$ i $z$ takie, aby obydwa były w relacji z $x$, to muszą one być sobie równe, a więc do każdego elementu zbioru $X$ można dobrać co najwyżej jeden element będący z nim w relacji $f$. Druga własność mówi, że do każdego elementu ze zbioru $X$ da się dobrać przynjamniej jeden element będący z nim w relacji $f$. Często będziemy używać skrótowego zapisu $f:X\to Y$, który będzie oznaczał, że $f$ jest funkcją ze zbioru $X$ w zbiór $Y$ ( a więc $f_L=X$ i $f_P\subset Y$). Mówimy też, że funkcja $f$ odwzorowuje zbiór $X$ w zbiór $Y$.

W definicji funkcji konieczne było odwołanie się do zbioru na którym funkcja jest określona. Zwróćmy uwagę, że dla konkretnej relacji nie możemy powiedzieć, czy jest ona funkcją, czy nie, gdyż zależy to od tego jaki zbiór przyjmiemy za $X$. Na przykład relacja $r=\{(0,0),(1,1)\}$ jest funkcją ze zbioru $\{0,1\}$ w zbiór $\{0,1\}$ ale nie jest funkcją ze zbioru $N$ w zbiór $\{0,1\}$. Czasem wygodniej jest rozważać funkcje po prostu jako relacje, dlatego wprowadzamy pojęcie funkcji częściowej.

Definicja 2.2.

Relację $f$ nazywamy funkcją częściową, jeśli ma następującą własność:

${\mathrm{\forall }}_x{\mathrm{\forall }}_y{\mathrm{\forall }}_z((x,y)\in f\wedge (x,z)\in f)\Rightarrow (y=z).$

Zwróćmy uwagę, że równie dobrze powyższą własność moglibyśmy sformułować następująco

${\mathrm{\forall }}_{x\in f_L}{\mathrm{\forall }}_{y\in f_P}{\mathrm{\forall }}_{z\in f_P}((x,y)\in f\wedge (x,z)\in f)\Rightarrow (y=z).$

Sformułowanie to jest równoważne z (patrz definicja 2.2.), gdyż we wszysktich przypadkach w których poprzednik implikacji jest prawdziwy mamy $x\in f_L,y\in f_P,z\in f_P$.

Fakt 2.1.

Każda funkcja częściowa $f$ jest funkcją ze zbioru $f_L$ w zbiór $f_P$. Dla dowolnych zbiorów $X,Y$ każda relacja, która jest funkcją ze zbioru $X$ w zbiór $Y$, jest funkcją częściową.

Wobec powyższego faktu, w przypadkach, kiedy nie jest istotne na jakim zbiorze funkcja jest zdefiniowana, będziemy rozważać odpowiadającą jej funkcję częściową. Dla dowolnej funkcji częściowej $f$ wprowadzamy poniższe oznaczenia, których będziemy również używać dla funkcji. Dla dowolnego $x$, jeśli istnieje taki element $y$, dla którego $(x,y)\in f$, to oznaczamy go przez $f(x)$, podobnie fakt $(x,y)\in f$ notujemy jako $f(x)=y$. Mówimy wtedy, że funkcja częściowa $f$ przyporządkowuje elementowi $x$ element $y$. Elementy $f_L$ nazywamy argumentami funkcji częściowej $f$, a elementy $f_P$ wartościami funkcji częściowej $f$.

Przykład 2.3.

Poniżej przedstawiamy przykłady relacji, które są funkcjami częściowymi:

1. $\mathrm{\varnothing }$ (poprzednik implikacji (patrz definicja 2.2.), jest zawsze fałszywy więc implikacja (patrz definicja 2.2.), jest zawsze prawdziwa),

2. $\{(\mathrm{\varnothing },\mathrm{\varnothing })\}$,

3. $\{(0,0),(1,0),(2,1)\}$,

4. $X\times \{0\}$ dla dowolnego zbioru $X$,

5. ${\mathbb{𝕀}}_X$,

oraz relacje, które funkcjami częściowymi nie są:

1. $\{(0,0),(0,1)\}$,

2. $X\times \{0,1\}$, dla dowolnego niepustego zbioru $X$,

Ćwiczenie 2.1

1. Udowodnij, że złożenie funkcji częściowych jest funkcją częściową.

2. Udowodnij, że jeśli $f:X\to Y$ i $g:Y\to Z$ to relacja $g\circ f$ jest

funkcją ze zbioru $X$ w zbiór $Z$.

Rozwiązanie 1

Niech $f,g$ będą funkcjami częściowymi. Dla dowodu nie wprost przypuśćmy, że złożenie $g\circ f$ nie jest funkcją częściową. Jest to równoważne faktowi, że istnieją elementy $x,y_1,y_2$ takie, że $(x,y_1),(x,y_2)\in g\circ f$ i $y_1\ne y_2$. Skoro $(x,y_1)\in g\circ f$, to z definicji złożenia relacji istnieją pary $(x,z_1)\in f$ oraz $(z_1,y_1)\in g$, dla pewnego elementu $z_1$. Podobnie dla $(x,y_2)\in g\circ f$ istnieją pary $(x,z_2)\in f$ oraz $(z_2,y_2)\in g$, dla pewnego elementu $z_2$. Ponieważ $(x,z_1),(x,z_2)\in f$ oraz $f$ jest funkcją częściową, to $z_1=z_2$, będziemy więc ten element oznaczać przez $z$. Wobec tego mamy $(z,y_1),(z,y_2)\in g$. Skoro jednak $g$ jest funkcją częściową, to $y_1=y_2$. Jest to sprzeczność z założeniem nie wprost.

Rozwiązanie 2

Z poprzedniego punktu otrzymujemy, że $g\circ f$ jest funkcją częściową. Wystarczy pokazać, że jest określona na wszystkich elementach zbioru $X$. Weźmy dowolny $x\in X$, ponieważ $f:X\to Y$ to $f_L=X$ a więc istnieje $y\in Y$ dla którego $(x,y)\in f$. Podobnie skoro $g:Y\to Z$ to istnieje $z\in Z$ taki, że $(y,z)\in g$. Z definicji złożenia relacji otrzymujemy $(x,z)\in g\circ f$ a zatem $g\circ f$ jest określona na $x$. Wobec dowolności wyboru $x$ jest określona na całym zbiorze $X$.

Ćwiczenie 2.2

Czy na każdym zbiorze $X$ istnieje relacja równoważności, która jest funkcją z $X$ w $X$?

Rozwiązanie

Dla każdego zbioru $X$ relacja równoważności ${\mathbb{𝕀}}_X$ jest funkcją.

Obrazy i przeciwobrazy

Czasem warto spojrzeć na funkcję z szerszej perspektywy. Rozważmy pewną funkcję $f:X\to Y$. Funkcja ta w naturalny sposób wyznacza pewną funkcję przekształcającą podzbiory zbioru $X$ w podzbiory zbioru $Y$, przyporządkowując zbiorowi $A\subset X$ zbiór elementów zbioru $Y$, które są wartościami funkcji $f$ dla pewnych argumentów ze zbioru $A$. Funkcję tą formalnie definujemy w poniższy sposób.

Definicja 3.1.

Każda funkcja $f:X\to Y$ wyznacza pewną funkcję $\overrightarrow{f}:{𝒫}(X)\to {𝒫}(Y)$ tak, że dla dowolnego zbioru $A\subset X$

$\overrightarrow{f}(A)=\{y\in Y:{\mathrm{\exists }}_{x\in A}f(x)=y\}.$

Dla dowolnego zbioru $A\subset X$ zbiór $\overrightarrow{f}(A)$ nazywamy obrazem zbioru $A$ przez funkcję $f$.

Przykład 3.2.

Niech $f:N\to N$ będzie określona wzorem $f(x)=2\cdot x$. Wtedy

1. $\overrightarrow{f}(N)$ jest zbiorem liczb parzystych,

2. $\overrightarrow{f}(\mathrm{\varnothing })=\mathrm{\varnothing }$,

3. $\overrightarrow{f}(\{1\})=\{2\}$,

4. $\overrightarrow{f}(\{1,2\})=\{2,4\}$,

5. obrazem zbioru liczb parzystych przez funkcję $f$ jest zbiór liczb podzielnych przez 4.

W podobny sposób definiujemy przeciwobrazy zbiorów przez funkcję. Przeciwobrazem zbioru $B\subset Y$ przez funkcję $f:X\to Y$ nazwiemy zbiór tych elementów zbioru $X$, którym funkcja przypisuje wartości ze zbioru $B$.

Definicja 3.3.

Każda funkcja $f:X\to Y$ wyznacza pewną funkcję ${\overrightarrow{f}}^{-1}:{𝒫}(Y)\to {𝒫}(X)$ w następujący sposób. Dla dowolnego zbioru $B\subset Y$

${\overrightarrow{f}}^{-1}(B)=\{x\in X:{\mathrm{\exists }}_{y\in B}f(x)=y\}.$

Dla dowolnego zbioru $B\subset Y$ zbiór ${\overrightarrow{f}}^{-1}(B)$ nazywamy przeciwobrazem zbioru $B$ przez funkcję $f$.

Przykład 3.4.

Niech $f:N\to N$ będzie określona wzorem $f(x)=2\cdot x$. Wtedy

1. ${\overrightarrow{f}}^{-1}(N)=N$,

2. ${\overrightarrow{f}}^{-1}(\mathrm{\varnothing })=\mathrm{\varnothing }$,

3. ${\overrightarrow{f}}^{-1}(\{1\})=\mathrm{\varnothing }$,

4. ${\overrightarrow{f}}^{-1}(\{1,2\})=\{1\}$,

5. przeciwobrazem zbioru liczb nieparzystych przez funkcję $f$ jest zbiór pusty,

6. przeciwobrazem zbioru liczb podzielnych przez 4, przez funkcję $f$ jest zbiór liczb parzystych,

7. przeciwobrazem zbioru liczb parzystych przez funkcję $f$ jest $N$.

Fakt 3.1.

Nietrudno zauważyć, że dla dowolnej funkcji częściowej $f$

$\overrightarrow{f}(\mathrm{\varnothing })=\mathrm{\varnothing }={\overrightarrow{f}}^{-1}(\mathrm{\varnothing }).$

W poniższych ćwiczeniach badamy podstawowe własności obrazów i przeciwobrazów dowolnych funkcji.

Ćwiczenie 3.1

Dla dowolnej funkcji $f:X\to Y$ i dla dowolnych zbiorów $A_1,A_2\subset X$ udowodnij następujące fakty

1. $\overrightarrow{f}(A_1\cup A_2)=\overrightarrow{f}(A_1)\cup \overrightarrow{f}(A_2)$

2. $\overrightarrow{f}(A_1\cap A_2)\subset \overrightarrow{f}(A_1)\cap \overrightarrow{f}(A_2)$

3. $\overrightarrow{f}(X\setminus A_1)\supset \overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)$

Rozwiązanie 1

$\begin{array}{l}\overrightarrow{f}(A_1\cup A_2)=\\ =\{y\in Y:{\mathrm{\exists }}_{x\in A_1\cup A_2}f(x)=y\}=\\ =\{y\in Y:{\mathrm{\exists }}_x[x\in A_1\cup A_2\wedge f(x)=y]\}=\\ =\{y\in Y:{\mathrm{\exists }}_x[(x\in A_1\vee x\in A_2)\wedge f(x)=y]\}=\\ =\{y\in Y:{\mathrm{\exists }}_x[(x\in A_1\wedge f(x)=y)\vee (x\in A_2\wedge f(x)=y)]\}=\\ =\{y\in Y:[{\mathrm{\exists }}_x(x\in A_1\wedge f(x)=y)]\vee [{\mathrm{\exists }}_x(x\in A_2\wedge f(x)=y)]\}=\\ =\{y\in Y:[{\mathrm{\exists }}_x(x\in A_1\wedge f(x)=y)]\}\cup \{y\in Y:[{\mathrm{\exists }}_x(x\in A_2\wedge f(x)=y)]\}=\\ =\{y\in Y:[{\mathrm{\exists }}_{x\in A_1}f(x)=y]\}\cup \{y\in Y:[{\mathrm{\exists }}_{x\in A_2}f(x)=y)]\}=\\ =\overrightarrow{f}(A_1)\cup \overrightarrow{f}(A_2)\end{array}$

Rozwiązanie 2

Weźmy dowolny element $y\in \overrightarrow{f}(A_1\cap A_2)$. Oznacza to, że istnieje element $x\in A_1\cap A_2$ taki, że $f(x)=y$. Skoro $x\in A_1$, to $y=f(x)\in \overrightarrow{f}(A_1)$. Podobnie skoro $x\in A_2$, to $y=f(x)\in \overrightarrow{f}(A_2)$. Mamy więc $y\in \overrightarrow{f}(A_1)$ oraz $y\in \overrightarrow{f}(A_2)$, a więc należy także do ich przecięcia.

Rozwiązanie 3

Weźmy dowolny element $y\in \overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)$. Istnieje wtedy element $x\in X$ dla którego $f(x)=y$ oraz skoro $y\notin \overrightarrow{f}(A_1)$, to $x\notin A_1$. Wobec tego $y\in \overrightarrow{f}(X\setminus A_1)$.

Ćwiczenie 3.2

Dla dowolnej funkcji $f:X\to Y$ i dowolnej rodziny $\kappa$ podzbiorów $X$ (czyli $\kappa \in {𝒫}({𝒫}(X))$) udowodnij następujące fakty:

1. $\overrightarrow{f}(\bigcup \kappa )=\bigcup \{\overrightarrow{f}(A):A\in \kappa \}$

2. $\overrightarrow{f}(\bigcap \kappa )\subset \bigcap \{\overrightarrow{f}(A):A\in \kappa \}$

Rozwiązanie 1

Niech $A\in \kappa$ wtedy $\bigcup \kappa =\bigcup \kappa \cup A$. Z poprzedniego ćwiczenia otrzymujemy

$\overrightarrow{f}(\bigcup \kappa )=\overrightarrow{f}(\bigcup \kappa )\cup \overrightarrow{f}(A)$

wobec tego dla dowolnego $A\in \kappa$ mamy $\overrightarrow{f}(\bigcup \kappa )\supset \overrightarrow{f}(A)$. Więc również

$\overrightarrow{f}(\bigcup \kappa )\supset \bigcup \{\overrightarrow{f}(A):A\in \kappa \}.$

Dla inkluzji w drugą stronę weźmy dowolny element $y\in \overrightarrow{f}(\bigcup \kappa )$. Wtedy istnieje $x\in \bigcup \kappa$ taki, że $f(x)=y$. Skoro $x\in \bigcup \kappa$ to istnieje $A_0\in \kappa$ taki, że $x\in A_0$. Oznacza to, że $y\in \overrightarrow{f}(A_0)$, a więc również $y\in \bigcup \{\overrightarrow{f}(A):A\in \kappa \}$. Wobec tego

$\overrightarrow{f}(\bigcup \kappa )\subset \bigcup \{\overrightarrow{f}(A):A\in \kappa \}.$

Rozwiązanie 2

Niech $A\in \kappa$, wtedy $\bigcup \kappa =\bigcup \kappa \cap A$. Z poprzedniego ćwiczenia otrzymujemy

$\overrightarrow{f}(\bigcap \kappa )=\overrightarrow{f}(\bigcap \kappa \cap A)\subset \overrightarrow{f}(\bigcap \kappa )\cap \overrightarrow{f}(A).$

Wynika stąd, że $\overrightarrow{f}(\bigcap \kappa )\subset \overrightarrow{f}(A)$ dla dowolnego $A\in \kappa$, a więc również

$\overrightarrow{f}(\bigcap \kappa )\subset \bigcap \{\overrightarrow{f}(A):A\in \kappa \}$

Ćwiczenie 3.3

Skonstruuj kontrprzykłady dla poniższych inkluzji:

1. $\overrightarrow{f}(A_1\cap A_2)\supset \overrightarrow{f}(A_1)\cap \overrightarrow{f}(A_2)$

2. $\overrightarrow{f}(X\setminus A_1)\subset \overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)$

3. $\overrightarrow{f}(\bigcap \kappa )\supset \bigcap \{\overrightarrow{f}(A):A\in \kappa \}$

Rozwiązanie

Niech $f=\{(0,0),(1,0)\}$ oraz $A_1=\{0\}$ i $A_2=\{1\}$, $X=\{0,1\}$ i $\kappa =\{A_1,A_2\}$. Wtedy

1. $f(A_1\cap A_2)=f(\mathrm{\varnothing })=\mathrm{\varnothing }$, podczas gdy $\overrightarrow{f}(A_1)\cap \overrightarrow{f}(A_2)=\{0\}\cap \{0\}=\{0\}$, a więc zbiór niepusty.

2. $\overrightarrow{f}(X\setminus A_1)=\overrightarrow{f}(\{1\})=\{0\}$ podczas gdy $\overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)=\{0\}\setminus \{0\}=\mathrm{\varnothing }$.

3. sytuacja jest dokładnie taka, jak w punkcie pierwszym.

Znacznie bardziej regularnie zachowują się przeciwobrazy funkcji. Podstawowe własności są tematem następnych ćwiczeń.

Ćwiczenie 3.4

Dla dowolnej funkcji $f:X\to Y$ i dla dowolnych zbiorów $B_1,B_2\subset Y$ udowodnij następujące fakty:

1. ${\overrightarrow{f}}^{-1}(B_1\cup B_2)={\overrightarrow{f}}^{-1}(B_1)\cup {\overrightarrow{f}}^{-1}(B_2)$

2. ${\overrightarrow{f}}^{-1}(B_1\cap B_2)=\overrightarrow{f}(B_1)\cap \overrightarrow{f}(B_2)$

3. ${\overrightarrow{f}}^{-1}(Y\setminus B_1)={\overrightarrow{f}}^{-1}(Y)\setminus {\overrightarrow{f}}^{-1}(B_1)$

Rozwiązanie 1

$\begin{array}{l}x\in {\overrightarrow{f}}^{-1}(B_1\cup B_2)\iff \\ \iff f(x)\in B_1\cup B_2\iff \\ \iff f(x)\in B_1\vee f(x)\in B_2\iff \\ \iff x\in {\overrightarrow{f}}^{-1}(B_1)\vee x\in {\overrightarrow{f}}^{-1}(B_2)\iff \\ \iff x\in {\overrightarrow{f}}^{-1}(B_1)\cup {\overrightarrow{f}}^{-1}(B_2)\end{array}$

Rozwiązanie 2

$\begin{array}{l}x\in {\overrightarrow{f}}^{-1}(B_1\cap B_2)\iff \\ \iff f(x)\in B_1\cap B_2\iff \\ \iff f(x)\in B_1\wedge f(x)\in B_2\iff \\ \iff x\in {\overrightarrow{f}}^{-1}(B_1)\wedge x\in {\overrightarrow{f}}^{-1}(B_2)\iff \\ \iff x\in {\overrightarrow{f}}^{-1}(B_1)\cap {\overrightarrow{f}}^{-1}(B_2)\end{array}$

Rozwiązanie 3

$\begin{array}{l}x\in {\overrightarrow{f}}^{-1}(Y\setminus B_1)\iff \\ \iff f(x)\in Y\setminus B_1\iff \\ \iff f(x)\in Y\wedge \mathrm{\neg }(f(x)\in B_1)\iff \\ \iff x\in {\overrightarrow{f}}^{-1}(Y)\wedge \mathrm{\neg }(x\in {\overrightarrow{f}}^{-1}(B_1))\iff \\ \iff x\in {\overrightarrow{f}}^{-1}(Y)\setminus {\overrightarrow{f}}^{-1}(B_1)\end{array}$

Ćwiczenie 3.5

Dla dowolnej funkcji $f:X\to Y$ i dowolnej rodziny $\kappa$ podzbiorów $Y$ (czyli $\kappa \in {𝒫}({𝒫}(Y))$) udowodnij następujące fakty:

1. ${\overrightarrow{f}}^{-1}(\bigcup \kappa )=\bigcup \{{\overrightarrow{f}}^{-1}(B):B\in \kappa \}$

2. ${\overrightarrow{f}}^{-1}(\bigcap \kappa )\subset \bigcap \{{\overrightarrow{f}}^{-1}(B):B\in \kappa \}$

Rozwiązanie 1

$\begin{array}{l}x\in {\overrightarrow{f}}^{-1}(\bigcup \kappa )\iff \\ \iff f(x)\in \bigcup \kappa \iff \\ \iff {\mathrm{\exists }}_{B\in \kappa }f(x)\in B\\ \iff {\mathrm{\exists }}_{B\in \kappa }x\in {\overrightarrow{f}}^{-1}(B)\iff \\ \iff x\in \bigcup \{{\overrightarrow{f}}^{-1}(B):B\in \kappa {\}}_1)\end{array}$

Rozwiązanie 2

Metoda z poprzedniego punktu podziała i tutaj. Dla urozmaicenia prezentujemy nieco inne rozwiązanie. Niech ${\kappa }^{\prime }=\{Y\setminus B:B\in \kappa \}$. Wtedy, używając wielokrotnie praw de'Morgana, dostaniemy

$\begin{array}{l}{\overrightarrow{f}}^{-1}(\bigcap \kappa )=\\ ={\overrightarrow{f}}^{-1}(Y\setminus \bigcup {\kappa }^{\prime })=\\ ={\overrightarrow{f}}^{-1}(Y)\setminus {\overrightarrow{f}}^{-1}(\bigcup {\kappa }^{\prime })=\\ ={\overrightarrow{f}}^{-1}(Y)\setminus \bigcup \{{\overrightarrow{f}}^{-1}(C):C\in {\kappa }^{\prime }\}=\\ ={\overrightarrow{f}}^{-1}(Y)\setminus \bigcup \{{\overrightarrow{f}}^{-1}(Y\setminus B):B\in \kappa \}=\\ ={\overrightarrow{f}}^{-1}(Y)\setminus \bigcup \{{\overrightarrow{f}}^{-1}(Y)\setminus {\overrightarrow{f}}^{-1}(B):B\in \kappa \}=\\ =\bigcap \{{\overrightarrow{f}}^{-1}(Y)\setminus ({\overrightarrow{f}}^{-1}(Y)\setminus {\overrightarrow{f}}^{-1}(B)):B\in \kappa \}\end{array}$

ponieważ ${\overrightarrow{f}}^{-1}(Y)\supset {\overrightarrow{f}}^{-1}(B)$, to

${\overrightarrow{f}}^{-1}(Y)\setminus ({\overrightarrow{f}}^{-1}(Y)\setminus {\overrightarrow{f}}^{-1}(B))={\overrightarrow{f}}^{-1}(B))$

więc kontynuując powyższe równości dostajemy

$=\bigcap \{{\overrightarrow{f}}^{-1}(B):B\in \kappa \}.$

Istnieje ścisły związek pomiędzy funkcjami a relacjami równoważności. Każda funkcja wyznacza pewną relację binarną w poniższy sposób.

Definicja 3.5.

Dla dowolnej funkcji $f:X\to Y$ definujemy relację binarną ${\sim }_f\subset X^2$ następująco

$(x_1,x_2)\in {\sim }_f\iff f(x_1)=f(x_2).$

W myśl powyższej definicji elementy $x_1,x_2\in X$ są w relacji ${\sim }_f$, jeśli funkcja $f$ na tych elementach przyjmuje te same wartości. W poniższym ćwiczeniu dowodzimy, że relacja ta jest relacją równoważności na zbiorze $X$. Relacja ta pełni ważną rolę w podstawowych konstrukcjach liczb, które będą tematem wykładów wykłady z konstrukcją liczb

Ćwiczenie 3.6

Udowodnij że dla dowolnej funkcji $f:X\to Y$ relacja ${\sim }_f$ jest relacją równoważności na zbiorze $X$.

Rozwiązanie

Przedstawiamy poniżej dwa różne dowody.

Dowód 1

Pokażemy, że relacja jest zwrotna przechodnia i symetryczna.

1. Zwrotność. Dla dowolnego elementu $x\in X$ oczywiście jest spełnione $f(x)=f(x)$, a więc $(x,x)\in {\sim }_f$.

2. Symetryczność. Weźmy dowolne elementy $x,y\in X$ takie, że $(x,y)\in {\sim }_f$. Wynika stąd, że $f(x)=f(y)$, a więc również $f(y)=f(x)$, co jest równoważne $(y,x)\in {\sim }_f$.

3. Przechodniość. Weźmy dowolne elementy $x,y,z\in X$ takie, że $(x,y),(y,z)\in {\sim }_f$. Wtedy $f(x)=f(y)$ i $f(y)=f(z)$, a więc również $f(x)=f(z)$, co oznacza, że $(x,z)\in {\sim }_f$.

Dowód 2

W ćwiczeniu Ćwiczenie 3 pokazaliśmy że ${\overrightarrow{f}}^{-1}(A\cap B)={\overrightarrow{f}}^{-1}(A)\cap {\overrightarrow{f}}^{-1}(B)$. Wynika stąd, że przeciwobrazy rozłącznych zbiorów są rozłączne. Rozważmy rodzinę zbiorów $F\stackrel{\text{<mrow data-mjx-texclass="ORD">def</mrow>}}{\equiv }\{{\overrightarrow{f}}^{-1}(\{y\}):y\in \overrightarrow{f}(X)\}$ tworzy podział zbioru $X$. Elementy tej rodziny są rozłączne, bo są przeciwobrazami rozłącznych zbiorów. Każdy element $x\in X$ należy do ${\overrightarrow{f}}^{-1}(\{f(x)\})$, a więc należy do pewnego elementu tej rodziny. Wobec tego rodzina $F$ jest podziałem zbioru $X$. Pokażemy teraz, że dowolne dwa elementy $x_1,x_2\in X$ są w relacji ${\sim }_f$ wtedy i tylko wtedy, gdy należą do tego samego zbioru rodziny $F$.

Przypuśćmy, że $f(x_1)\ne f(x_2)$. Wtedy z definicji elementy te nie są w relacji ${\sim }_f$. Z drugiej strony $x_1\in {\overrightarrow{f}}^{-1}(\{f(x_1)\}$ oraz $x_2\in {\overrightarrow{f}}^{-1}(\{f(x_2)\}$. Skoro $f(x_1)\ne f(x_2)$ to zbiory $\{f(x_1)\},\{f(x_2)\}$ są rozłączne a więc ich przeciwobrazy również. Otrzymujemy stąd, że elementy $x_1,x_2$ należą do różnych zbiorów rodziny $F$.

Przypuśćmy, że $f(x_1)=f(x_2)$, oznaczmy tą wartość przez $y$. Wtedy z definicji $(x_1,x_2)\in {\sim }_f$. Z drugiej strony $x_1\in {\overrightarrow{f}}^{-1}(\{f(x_1)\}={\overrightarrow{f}}^{-1}(\{y\})={\overrightarrow{f}}^{-1}(\{f(x_2)\})\ni x_2$, a więc elementy $x_1,x_2$ należą do tego samego zbioru rodziny $F$.

Wynika stąd że relacja ${\sim }_f$ jest dokładnie relacją wyznaczoną przez rodzinę zbiorów $F$. Skoro rodzina ta jest podziałem zbioru $X$, to relacja ${\sim }_f$ jest relacją równoważności.

Iniekcja i suriekcja

Istotną własnością funkcji jest to, czy różnym elementom może ona przypisać tą samą wartość. Na przykład, w przypadku szyfrowania używamy takich funkcji, które dają się odszyfrować, a więc generują różne kody dla różnych wiadomości. Takie funkcje, których wartości są różne na różnych argumentach nazywamy iniekcjami. Ponieważ ta własność nie zależy od zbioru na którym funkcja jest zdefiniowana, zdefiniujemy ją dla wszystkich funkcji częściowych.

Definicja 4.1.

Funkcję częściową $f$ nazywamy iniekcją, jeśli różnym elementom przyporządkowuje różne wartości. Formalnie, jeśli spełnia następujący warunek

${\mathrm{\forall }}_{y\in f_P}{\mathrm{\forall }}_{x_1,x_2\in f_L}(f(x_1)=y\wedge f(x_2)=y)\Rightarrow x_1=x_2$

Powyższy warunek mówi dokładnie tyle, że jeśli elementom $x_1,x_2$ funkcja przypisuje tę samą wartość $y$ to te elementy muszą być równe.

Przykład 4.2.

Następujące funkcje częściowe są iniekcjami

1. $\mathrm{\varnothing }$,

2. $\{(\mathrm{\varnothing },\mathrm{\varnothing })\}$,

3. $\{(0,1),(1,0)\}$,

4. funkcja, która każdej liczbie naturalnej przypisuje liczbę dwukrotnie większą.

Przykłady funkcji częściowych, które nie są iniekcjami

1. $\{(\mathrm{\varnothing },\mathrm{\varnothing }),(\{\mathrm{\varnothing }\},\mathrm{\varnothing })\}$

2. $\{(0,0),(1,0)\}$

3. funkcja, która każdej liczbie naturalnej przypisuje największą

liczbę parzystą nie większą od niej

W poniższym ćwiczeniu pokazujemy, że jeśli funkcja częściowa nie "zlepia" ze sobą dwóch różnych argumentów to jest "odwracalna".

Ćwiczenie 4.1.

Udowodnij, że funkcja częściowa $f$ jest iniekcją wtedy i tylko wtedy, gdy $f^{-1}$ jest funkcją częściową.

Rozwiązanie

Dowiedziemy równoważne twierdzenie które mówi, że funkcja częściowa $f$ nie jest iniekcją wtedy i tylko wtedy, gdy $f^{-1}$ nie jest funkcją częściowa.

Przypuśćmy, że $f:X\to Y$ nie jest iniekcją. Jest to równoważne temu, że istnieją różne elementy $x_1,x_2\in X$ takie, że istnieje $y\in Y$, dla którego $(x_1,y)\in f$ oraz $(x_2,y)\in f$. Co jest z kolei równoważne temu, że $(y,x_1)\in f^{-1}$ oraz $(y,x_2)\in f^{-1}$, co - wobec różności elementów $x_1,x_2$ - jest równoważne z tym, że $f^{-1}$ nie jest funkcją częściową.

Ćwiczenie 4.2.

Udowodnij, że funkcja $f:X\to Y$ jest iniekcją wtedy i tylko wtedy, gdy istnieje funkcja częściowa $g$ taka, że $g\circ f={\mathbb{𝕀}}_X$.

Rozwiązanie

Zacznijmy od dowodu implikacji w prawo. W poprzednim ćwiczeniu pokazaliśmy, że jeśli $f$ jest iniekcją to $f^{-1}$ jest funkcją. Załóżmy że $f$ jest iniekcją i niech $g=f^{-1}$ pokażemy, że $g\circ f={\mathbb{𝕀}}_X$. Weźmy dowolną parę $(x_1,x_2)\in g\circ f$, wtedy musi istnieć element $y\in Y$ taki, że $(x_1,y)\in f$ oraz $(y,x_2)\in g$. Skoro $g$ jest odwrotnością $f$ to $(x_2,y)\in f$. Ponieważ $f$ jest iniekcją to $x_1=x_2$. Wynika stąd, że $g\circ f\subset {\mathbb{𝕀}}_X$. Weźmy dowolny element $x\in X$ niech $y\in Y$ będzie elementem takim, że $(x,y)\in f$, wtedy $(y,x)\in g$ a więc $(x,x)\in g\circ f$. Otrzymujemy stąd, że $g\circ f\supset {\mathbb{𝕀}}_X$.

Dla dowodu implikcaji w drugą stronę załóżmy, że istnieje funkcja częściowa $g$ taka, że Parser nie mógł rozpoznać (błąd składni): {\displaystyle g \circ f=\mathbb{I}_{X} /math>. Weźmy dowolne dwa elementy <math>x_1,x_2} takie, że $f(x_1)=f(x_2)$. Wtedy $g(f(x_1))=g(f(x_2))$, ale skoro $g\circ f={\mathbb{𝕀}}_X$, to $g(f(x_1))=x_1$ oraz $g(f(x_2))=x_2$. Wynika stąd, że $x_1=x_2$. A więc funkcja częściowa $f$ jest iniekcją.

Ćwiczenie 4.3

Czy funkcja częściowa stała może być iniekcją? (funkcja częściowa jest stała, jeśli ma jednoelementowy zbiór wartości).

Rozwiązanie

Funkcja częściowa $\{(\mathrm{\varnothing },\mathrm{\varnothing })\}$ jest stała i jest iniekcją.

W praktyce często posługujemy się elementami pewnego ustalonego zbioru (np. liczb naturalnych, rzeczywistych itp.) i funkcjami operującymi na tych elementach. W takich przypadkach przydatna okazuje się poniższa definicja funkcji suriektywnej.

Definicja 4.3.

Funkcję częściową $f$ nazywamy suriekcją na zbiór $Y$, jeśli $f_P=Y$. Możemy to zapisać jako

${\mathrm{\forall }}_{y\in Y}{\mathrm{\exists }}_{x\in f_L}f(x)=y.$

Zauważmy, że nie ma sensu nazywanie funkcji częściowej suriekcją bez odniesienia się do zbioru $Y$. Dla każdej funkcji możemy dobrać zbiór $Y$ tak, aby była i tak, aby nie była suriekcją. W przypadku funkcji $f:X\to Y$ określenie, że $f$ jest suriekcją, będzie oznaczało, że $f$ jest suriekcją na zbiór $Y$.

Przykład 4.4.

1. $\mathrm{\varnothing }$ jest suriekcją na $\mathrm{\varnothing }$, ale nie jest suriekcją na żaden inny zbiór,

2. $\{(\mathrm{\varnothing },\mathrm{\varnothing })\}$ jest suriekcją na zbiór $\{\mathrm{\varnothing }\}$ i nie jest suriekcją na $\{\{\mathrm{\varnothing }\},\mathrm{\varnothing }\}$,

3. $\{(0,0)\}$ jest suriekcją na zbiór $\{0\}$ i nie jest suriekcją na $\{1,0\}$,

4. funkcja $f:N\to N$ taka, że $f(x)=x+1$ jest suriekcją na zbiór liczb naturalnych silnie większych od 0 (czasem oznaczany przez $N_{+}$), ale nie jest suriekcją na $N$.

Fakt 4.1.

Funkcja $f:X\to Y$ jest suriekcją wtedy i tylko wtedy, gdy istnieje funkcja $g:Y\to X$ taka, że $f\circ g={\mathbb{𝕀}}_Y$.

Do udowodnienia powyższego faktu konieczne jest użycie aksjomatu wyboru. Jego dowód (nietrudny) odłożymy więc, do wykładu który jest poświęcony temu aksjomatowi, oraz jego równoważnikom.

Ćwiczenie 4.4

Udowodnij, że dla dowolnej funkcji $f:X\to Y$, $f$ jest suriekcją na $Y$ wtedy i tylko wtedy, gdy funkcja ${\overrightarrow{f}}^{-1}$ jest iniekcją na ${𝒫}(X)$.

Rozwiązanie

Przypuśćmy, że $f$ nie jest suriekcją na $Y$, istnieje wtedy $y\in Y$ dla którego ${\overrightarrow{f}}^{-1}(\{y\})=\mathrm{\varnothing }$. Wobec tego dla dowolnego $B\subset Y\setminus \{y\}$ mamy

${\overrightarrow{f}}^{-1}(B)={\overrightarrow{f}}^{-1}(B)\cup {\overrightarrow{f}}^{-1}(\{y\})={\overrightarrow{f}}^{-1}(B\cup \{y\})$

a więc funkcja ${\overrightarrow{f}}^{-1}$ nie jest iniekcją.

Przypuśćmy teraz, że $f$ jest suriekcją na $Y$. Weźmy dwa różne zbiory $A,B\subset Y$. Skoro są różne, to istnieje element $y_1\in A\setminus B$ lub $y_2\in B\setminus A$. Zajmiemy się pierwszym przypadkiem, drugi jest symetryczny. Skoro $y_1\notin B$ to ${\overrightarrow{f}}^{-1}(\{y_1\})\cap {\overrightarrow{f}}^{-1}(B)=\mathrm{\varnothing }$. Ponieważ, $f$ jest suriekcją to ${\overrightarrow{f}}^{-1}(\{y_1\})\ne \mathrm{\varnothing }$, więc istnieje element $x\in {\overrightarrow{f}}^{-1}(\{y_1\})$. Mamy więc element $x$ taki, że $x\in {\overrightarrow{f}}^{-1}(\{y_1\})\subset {\overrightarrow{f}}^{-1}(A)$ oraz $x\notin {\overrightarrow{f}}^{-1}(B)$ więc zbiory ${\overrightarrow{f}}^{-1}(A)$ i ${\overrightarrow{f}}^{-1}(B)$ są różne. Wobec tego funkcja ${\overrightarrow{f}}^{-1}$ jest iniekcją.

Ćwiczenie 4.5

Udowodnij, że dla dowolnej funkcji $f:X\to Y$, $f$ jest iniekcją wtedy i tylko wtedy, gdy funkcja ${\overrightarrow{f}}^{-1}$ jest suriekcją na ${𝒫}(X)$.

Rozwiązanie

Zauważmy, że jeśli $f$ jest iniekcją, to przeciwobrazy singletonów są singletonami lub są puste. Przypuśćmy, że $f$ jest iniekcją, weźmy dowolny zbiór $A\subset X$, pokażemy, że $A={\overrightarrow{f}}^{-1}(\overrightarrow{f}(A))$.

$\begin{array}{rll}A& =& \bigcup \{\{a\}:a\in A\}\\ \overrightarrow{f}(A)& =& \bigcup \{\overrightarrow{f}(\{a\}):a\in A\}\\ \overrightarrow{f}(A)& =& \bigcup \{\{f(a)\}:a\in A\}\\ {\overrightarrow{f}}^{-1}(\overrightarrow{f}(A))& =& {\overrightarrow{f}}^{-1}(\bigcup \{\{f(a)\}:a\in A\})\\ {\overrightarrow{f}}^{-1}(\overrightarrow{f}(A))& =& (\bigcup \{{\overrightarrow{f}}^{-1}(\{f(a)\}):a\in A\})\end{array}$

Skorzystamy teraz z faktu że przeciwobrazy singletonów są puste lub są sigletonami. Wiemy, że $a\in {\overrightarrow{f}}^{-1}(\{f(a)\})$, wobec czego zbiór ${\overrightarrow{f}}^{-1}(\{f(a)\})$ jest niespusty, a więc jest singletonem. W takim wypadku jego jedynym elementem może być $a$. Otrzymujemy więc ${\overrightarrow{f}}^{-1}(\{f(a)\})=\{a\}$. Wtedy

$\begin{array}{rll}{\overrightarrow{f}}^{-1}(\overrightarrow{f}(A))& =& (\bigcup \{\{a\}:a\in A\})\\ {\overrightarrow{f}}^{-1}(\overrightarrow{f}(A))& =& A\end{array}$.

Wobec tego dowolny zbiór $A\subset X$ jest przeciwobrazem zbioru $\overrightarrow{f}(A)$ przez funkcję $f$, a więc funkcja ${\overrightarrow{f}}^{-1}$ jest suriekcją.

Przypuśćmy teraz, że funkcja $f$ nie jest iniekcją. Istnieją wtedy różne elementy $x_1,x_2\in X$ oraz element $y\in Y$ takie, że $(x_1,y),(x_2,y)\in f$. Pokażemy, że zbiór $\{x_1\}$ nie należy do obrazu zbioru ${𝒫}(Y)$ przez funkcję ${\overrightarrow{f}}^{-1}$. Dla dowodu nie wprost przypuśćmy, że istnieje zbiór $B\subset Y$ taki, że ${\overrightarrow{f}}^{-1}(B)=\{x_1\}$. Rozważmy zbiór ${\overrightarrow{f}}^{-1}(\{y\})$, oznaczmy go przez $A$. Z całą pewnością $x_1,x_2\in A$. Ponieważ przeciwobrazy zbiórów rozłącznych są rozłączne, a $x_1$ należy zarówno do zbioru $A$ jak i do zbioru ${\overrightarrow{f}}^{-1}(B)$ to zbiory $\{y\}$ oraz $B$ nie mogą być rozłączne. Oznacza to, że $y\in B$. Ale w takim wypadku $\{y\}\subset B$ i w konsekwencji

$\{x_1,x_2\}\subset {\overrightarrow{f}}^{-1}(\{y\})\subset {\overrightarrow{f}}^{-1}(B).$

Ponieważ $x_1\ne x_2$ to zbiór ${\overrightarrow{f}}^{-1}(B)$ nie może być singletonem. Wobec tego nie istnieje zbiór $B$, dla którego ${\overrightarrow{f}}^{-1}(B)=\{x_1\}$. W efekcie czego funkcja ${\overrightarrow{f}}^{-1}$ nie jest suriekcją.

Funkcję nazywamy bijekcją pomiędzy zbiorami $X$ i $Y$, jeśli każdemu elementowi zbioru $X$ przypisuje dokładnie jeden element zbioru $Y$, i w dodatku każdy element zbioru $Y$ występuje w jakimś przypisaniu. Oznacza to dokładnie że funkcja ta jest zarówno iniekcją jak i suriekcją na zbiór $Y$.

Definicja 4.5.

Funkcję częściową $f$ nazywamy bijekcją ze zbioru $X$ w zbiór $Y$, jeśli są spełnione poniższe warunki

1. $f:X\to Y$,

2. $f$ jest iniekcją,

3. $f$ jest suriekcją na $Y$.

Każda funkcja bijektywna pomiędzy zbiorem $X$ a $Y$ dobiera elementy tych zbiorów w pary.

Twierdzenie 4.6.

Funkcja $f$ jest bijekcją ze zbioru $X$ w zbiór $Y$ wtedy i tylko wtedy, gdy $f^{-1}$ jest bijekcją (a więc także funkcją) ze zbioru $Y$ w zbiór $X$.

Dowód

Z cwiczenia cwiczenie 4 wynika, że relacja $f^{-1}$ jest iniekcją (bo $f$ jest iniekcją). Z własności przeciwobrazów wynika, że ${\overrightarrow{f}}^{-1}(Y)=X$. Pozostaje pokazać, że funkcja częściowa $f^{-1}$ jest określona na całym $Y$. Weźmy dowolny, element $y\in Y$. Ponieważ $f$ jest suriekcją to istnieje $x\in X$ dla którego $(x,y)\in f$. Wtedy $(y,x)\in f^y$ a więc $y$ należy do dziedziny $f^{-1}$. Wobec dowolności wyboru $y$ dziedziną $f^{-1}$ jest cały zbiór $Y$. Podsumowując, $f^{-1}:Y\to Y$, jest iniekcją, oraz ${\overrightarrow{f}}^{-1}(Y)=X$ a więc $f^{-1}$ jest bijekcją ze zbioru $Y$ w zbiór $X$. Implikacja w drugą stronę wynika z faktu, że $f=(f^{-1}{)}^{-1}$.

Twierdzenie 4.7.

Jeśli funkcje częściowe $f,g$ są iniekcjami, to ich złożenie jest iniekcją.

Dowód

Jeśli funkcja częściowe $g\circ f$ jest pusta to jest iniekcją. W przeciwnym razie weźmy dwie dowolne (niekoniecznie różne) pary należace do niej które mają taką samą drugą współrzędną $(x_1,y),(x_2,y)\in g\circ f$. Skoro należą one do złożenia $f$ z $g$ to istnieją elementy $z_1,z_2$ w dziedzinie relacji $f$ takie, że $(x_1,z_1),(x_2,z_2)\in f$ oraz $(z_1,y),(z_2,y)\in g$. Z iniektywności funkcji częściowej $g$ otrzymujemy, że $z_1=z_2$, oznaczmy ten element przez $z$. Mamy więc $(x_1,z),(x_2,z)\in f$. Z iniektywności funkcji częściowej $f$ dostajemy $x_1=x_2$, co dowodzi, że funkcja częściowa $g\circ f$ jest iniekcją.

Ćwiczenie 4.6

{{{3}}}

Twierdzenie 4.8.

Dla dowolnych funkcji $f:X\to Y,g:Y\to Z$, jeśli $f$ jest suriekcją na $Y$ i $g$ jest suriekcją na $Z$, to $g\circ f$ jest suriekcją na $Z$.

Dowód

Weźmy dowolny $z\in Z$. Ponieważ funkcja $g$ jest suriekcją na $Z$, to istnieje element $y\in Y$ taki, że $(y,z)\in g$. Skoro funkcja $f$ jest suriekcją na $Y$, to istnieje $x\in X$ taki, że $(x,y)\in f$. Z faktów $(x,y)\in f$ oraz $(y,z)\in g$ otrzymujemy $(x,z)\in g\circ f$. Dobraliśmy więc do $z$ element $x\in X$, z którym jest on w relacji $g\circ f$. Wobec dowolności wyboru $z$ funkcja $g\circ f$ jest suriekcją.

Ćwiczenie 4.7

Udowodnij że w twierdzeniu twierdzenie 4.8. implikacja w przeciwną stronę nie jest prawdziwa.

Rozwiązanie

Weźmy $X=Z=\{0\}$, $Y=\{0,1\}$ oraz $f=\{(0,1)\},g=\{(0,0),(1,0)\}$. Wtedy $f$ jest funkcją ze zbioru $X$ w zbiór $Y$, $g$ jest funkcją ze zbioru $Y$ w zbiór $Z$ oraz $g\circ f=\{(0,0)\}$ jest suriekcją na $\{0\}$, podczas gdy $f$ nie jest suriekcją na $\{0,1\}$.

Ćwiczenie 4.8

W cwiczeniu cwiczenie 3 pokazaliśmy, że poniższe równości nie są prawdziwe dla wszystkich funkcji. Udowodnij, że

1.dla funkcji $f:X\to Y$ równość $\overrightarrow{f}(A_1\cap A_2)=\overrightarrow{f}(A_1)\cap \overrightarrow{f}(A_2)$ jest prawdą dla dowolnych zbiorów $A_1,A_2$ wtedy i tylko wtedy, gdy $f$ jest iniekcją

2. dla funkcji $f:X\to Y$ równość $\overrightarrow{f}(X\setminus A_1)=\overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)$ jest prawdą dla dowolnego zbioru $A_1$ wtedy i tylko wtedy, gdy $f$ jest iniekcją

3. dla funkcji $f:X\to Y$ równość $\overrightarrow{f}(X\setminus A_1)=Y\setminus \overrightarrow{f}(A_1)$ jest prawdą dla dowolnego zbioru $A_1$ wtedy i tylko wtedy, gdy $f$ jest bijekcją.

Rozwiązanie 1

Implikacja w lewo. Przypuśćmy że zbiory te są różne. Wobec tego musi zachodzić

$\overrightarrow{f}(A_1\cap A_2)⊊\overrightarrow{f}(A_1)\cap \overrightarrow{f}(A_2)$

to znaczy, że istnieje element $y\in Y$ taki, że $y\in \overrightarrow{f}(A_1)\cap \overrightarrow{f}(A_2)$ oraz $y\notin \overrightarrow{f}(A_1\cap A_2)$. Czyli istnieją $x_1\in A_1\setminus A_2$ oraz $x_2\in A_2\setminus A_1$ takie, że $f(x_1)=f(x_2)=y$. Ponieważ $x_1,x_2$ należą do rozłącznych zbiorów to muszą być różne, więc funkcja $f$ nie jest iniekcją.

Implikacja w prawo. Jeśli równość zachodzi dla wszystkich zbiorów, to dla dowolnych różnych elementów $x_1,x_2\in X$ mamy

$\{f(x_1)\}\cap \{f(x_2)\}=\overrightarrow{f}(\{x_1\})\cap \overrightarrow{f}(\{x_2\})=\overrightarrow{f}(\{x_1\}\cap \{x_2\})=\overrightarrow{f}(\mathrm{\varnothing })=\mathrm{\varnothing }$

skąd otrzymujemy $f(x_1)\ne f(x_2)$, a więc funkcja $f$ jest iniekcją.

Rozwiązanie 2

Implikacja w prawo. Przypuśćmy, że $f$ nie jest iniekcją. Weźmy $x_1,x_2\in X$ oraz $y\in Y$ takie, że $y=f(x_1)=f(x_2)$ oraz $x_1\ne x_2$. Niech $A_1=X\setminus \{x_1\}$. Wtedy

$\{y\}=\overrightarrow{f}(X\setminus A_1)$

a więc $y\in \overrightarrow{f}(X\setminus A_1)$. Równocześnie, ponieważ $x_2\in A_1$, to $y\in \overrightarrow{f}(A_1)$, a więc $y\notin \overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)$. Wynika stąd, że zbiory $y\notin \overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)$ i $\overrightarrow{f}(X\setminus A_1)$ są różne.

Implikacja w lewo. Przypuśćmy teraz, że $f$ jest iniekcją. Wtedy z punktu pierwszego otrzymamy, że obrazy rozłącznych zbiorów są rozłączne. Weźmy dowolny zbiór $A_1\subset X$. Niech $A_2=X\setminus A_1$. Wtedy

$\overrightarrow{f}(X)=\overrightarrow{f}(A_1\cup A_2)=\overrightarrow{f}(A_1)\cup \overrightarrow{f}(A_2).$

Ponieważ $\overrightarrow{f}(A_1)\cap \overrightarrow{f}(A_2)=\mathrm{\varnothing }$ to

$\overrightarrow{f}(X)\setminus \overrightarrow{f}(A_1)=\overrightarrow{f}(A_2)=\overrightarrow{f}(X\setminus A_1)$

a więc postulowana równość jest prawdziwa.

Rozwiązanie 3

Implikacja w lewo. Jeśli funkcja jest bijekcją, to $\overrightarrow{f}(X)=Y$ i jest iniekcją, więc z poprzedniego punktu wynika, że badana równość jest prawdziwa.

Implikacja w prawo. Przypuśćmy teraz że badana równość jest prawdziwa. Pokażemy że $f$ jest suriekcją na $Y$. Weźmy dowolny element $y\in Y$. Jeśli $y\in \overrightarrow{f}(A_1)$, to tym bardziej $y\in \overrightarrow{f}(X)$. W przeciwnym przypadku z założonej równości wynika, że to $y\in \overrightarrow{f}(X\setminus A_1)$, więc również $y\in \overrightarrow{f}(X)$. Wobec tego każdy $y\in Y$ należy do obrazu zbioru $X$ przez funkcję $f$, a więc $f$ jest suriekcją. Skoro tak, to $\overrightarrow{f}(X)=Y$ i z założonej równości oraz poprzedniego punktu otrzymujemy, że $f$ jest iniekcją.

Ćwiczenie 4.9

Udowodnij, że funkcja $f:N^2\to N$ określona w następujący sposób

$f(x,y)=\frac{(x+y+1)\cdot (x+y)}{2}+x$

jest iniekcją.

Rozwiązanie

Weźmy dowolne $(x_1,y_1),(x_2,y_2)\in N^2$. Rozważymy dwa przypadki

1. Przypuśćmy, że $x_1+y_1=x_2+y_2$. Wtedy niech $z=x_1+y_1$. Jeśli $f(x_1,y_1)=f(x_2,y_2)$ to

$\frac{(x_1+y_1+1)\cdot (x_1+y_1)}{2}+x_1=\frac{(x_2+y_2+1)\cdot (x_2+y_2)}{2}+x_2$

ponieważ jednak

$\frac{(x_1+y_1+1)\cdot (x_1+y_1)}{2}=\frac{(z+1)\cdot (z)}{2}=\frac{(x_2+y_2+1)\cdot (x_2+y_2)}{2}$

to $x_1=x_2$ i skoro $x_1+y_1=x_2+y_2$ to również $y_1=y_2$.

2. W pozostałym przypadku mamy $x_1+y_1\ne x_2+y_2$. Możemy, bez straty ogólności założyć, że $x_1+y_1<x_2+y_2$. Niech $z=x_1+y_1$ oraz $c$ niech będzie takie, że $z+c=x_2+y_2$. Wtedy

$f(x_1,y_1)=\frac{(x_1+y_1+1)\cdot (x_1+y_1)}{2}+x_1\le \frac{(z+1)\cdot (z)}{2}+z$

oraz

$f(x_2,y_2)=\frac{(x_2+y_2+1)\cdot (x_2+y_2)}{2}+x_2\ge \frac{(z+c+1)\cdot (z+c)}{2}\ge \frac{(z+2)\cdot (z+1)}{2}$

Ostatnia nierówność wynika z faktu, że $c\ge 1$. Łatwo zauważyć, że

$\frac{(z+1)\cdot (z)}{2}+z=\frac{z^2+3\cdot z}{2}<\frac{z^2+3\cdot z+1}{2}=\frac{(z+2)\cdot (z+1)}{2}$

co dowodzi, że $f(x_1,y_1)<f(x_2,y_2)$.

Przypuśćmy teraz, że $f(x_1,y_1)=f(x_2,y_2)$, wtedy przypadek drugi nie może się zdarzyć, gdyż doszlibyśmy do sprzeczności. W pozostałym (pierwszym) przypadku pierwszym równość ta implikuje $x_1=x_2$ oraz $y_1=y_2$. A więc funkcja $f$ jest iniekcją.

Twierdzenie o faktoryzacji

W tym rozdziale udowodnimy ważne twierdzenie dobrze ilustrujące rolę, którą spełniają iniekcje i suriekcje wśród wszystkich funkcji.

Twierdzenie 5.1.

Dla każdej funkcji $f:X\to Y$ istnieje zbiór $Z$ oraz funkcje $g:X\to Z,h:Z\to Y$ takie, że $f=h\circ g$, $g$ jest suriekcją i $h$ jest iniekcją. (RYSUNEK 6.1)

Dowód

Niech $Z$ będzie zbiorem klas abstrakcji relacji ${\sim }_f$. Wtedy definujemy $g$ jako funkcję która każdemu elementowi zbioru $x$ przypisuje jego klasę abstrakcji względem relacji ${\sim }_f$, czyli

$g=\{(x,k)\in X\times {𝒫}(X):x\in X\wedge k=[x{]}_{{\sim }_f}\}.$

Zauważmy, że tak zdefiniowana funkcja $g$ jest suriekcją na zbiór $Z$, gdyż klasy abstrakcji nie mogą być puste. Funkcję $h$ defniujemy jako funkcję przypisującą klasom abstrakcji relacji ${\sim }_f$ wartość funkcji na dowolnym elemencie tej klasy, czyli

$h=\{(k,y)\in {𝒫}(X)\times Y:{\mathrm{\exists }}_{x\in X}k=[x{]}_{{\sim }_f}\wedge f(x)=y\}.$

Zauważmy, że $h$ rzeczywiście jest funkcją, gdyż, zgodnie definicją relacji ${\sim }_f$, funkcja $f$ przypisuje wszystkim elementom danej klasy te same wartości.

Pokażemy teraz, że $h$ jest iniekcją. Weźmy dowolne dwie klasy $k_1,k_2\in Z$ i przypuśćmy, że $h(k_1)=h(k_2)$. Niech $x_1,x_2\in X$ będą takimi elementami, że $[x_1{]}_{{\sim }_f}=k_1$ oraz $[x_2{]}_{{\sim }_f}=k_2$. Zgodnie z definicją $h$ mamy $h(k_1)=f(x_1)$ oraz $h(k_2)=f(x_2)$. Założyliśmy, że $h(k_1)=h(k_2)$, więc również $f(x_1)=f(x_2)$. Wynika stąd, że $x_1{\sim }_f{x}_2$ a więc $[x_1{]}_{{\sim }_f}=[x_2{]}_{{\sim }_f}$, co oznacza dokładnie, że $k_1=k_2$. Pokazaliśmy więc, że $h$ jest iniekcją.

Pozostaje pokazać, że $f=h\circ g$. Dla dowolnego elementu $x\in X$ mamy

$g(x)=[x{]}_{{\sim }_f}$

oraz

$h([x{]}_{{\sim }_f})=f(x).$

Wobec czego otrzymujemy

$h(g(x))=f(x).$

Skoro własność ta zachodzi dla każdego $x\in X$, otrzymujemy $f=h\circ g$.

Ćwiczenie 5.1

Dla poniższych funkcji podaj przykład funkcji $g,h$ oraz zbioru $Z$ z twierdzenia 5.1 o faktoryzacji (patrz twierdzenie 5.1.)

1. Niech $K$ będzie zbiorem okręgów na płaszczyźnie, funkcja $f:K\to R$ niech przypisuje okręgom długości ich średnic

2. $f:N^2\to R$ w taki sposób, że $f(x,y)=\frac{x}{y}$

Rozwiązanie

1.Zgodnie z konstrukcją w dowodzie twierdzenia zbiór $Z$ będzie podziałem zbioru $K$ na zbiory okręgów o średnicach równej długości. $g$ będzie funkcją, która okręgowi $k\in K$ przypisuje zbiór okręgów o średnicach tej samej długości co średnica $k$. $h$ będzie funkcją, która rodzinom okręgów o tych samych długościach średnic, przypisuje liczbę rzeczywistą będącą długością tych średnic.

2. Zgodnie z konstrukcją w dowodzie twierdzenia zbiór $Z$ będzie podziałem $N^2$ na zbiory par liczb o równych ilorazach. Funkcja $g$, każdej parze liczb naturalnych $(x,y)$ przypisze zbiór par liczb naturalnych, których iloraz jest równy $\frac{x}{y}$.

Funkcja $h$ przypisze każdemu zbiorowi par o równych ilorazach liczbę rzeczywistą będącą wartością tych ilorazów.

Produkt uogólniony

W wykładzie (Relacje) zdefiniowaliśmy iloczyn kartezjański skończonej liczby zbiorów. Poniższa definicja uogólnia tamte rozważania definiując produkt dowolnej (nawet nieskończonej) rodziny zbiorów.

Definicja 6.1.

Produktem uogólnionym zbioru $X$ nazwiemy zbiór $\mathbb{\mathbb{P}}X$ zdefiniowany następująco

$\mathbb{\mathbb{P}}X\stackrel{\text{<mrow data-mjx-texclass="ORD">def</mrow>}}{\equiv }\{f\in {𝒫}(X\times \bigcup X):(f:X\to \bigcup X)\wedge {\mathrm{\forall }}_{x\in X}f(x)\in x\}.$

Czyli zbiór $\mathbb{\mathbb{P}}X$ to zbiór wszystkich tych funkcji, które zbiorom z rodziny $X$ przypisują ich elementy.

Zauważmy, że istnienie produktu uogólnionego dla każdego zbioru $X$ wynika z aksjomatu wyróżniania. Znacznie ważniejszą własnością jednak jest niepustość produktu uogólnionego. Z aksjomatu wyboru Wyklad4, aksjomat wyboru wynika, że produkt uogólniony dowolnej niepustej rodziny niepustych zbiorów jest zawsze niepusty. W konkretnych przypadkach można wykazać niepustość nie odwołując się do aksjomatu wyboru (np. $\{\{0\}\}$).

W poniższym twierdzeniu pokazujemy że produkt uogólniony jest w dużej mierze zgodny ze zdefiniowanym wcześniej iloczynem kartezjańskim. Jest to przy okazji pierwszy przykład konstrukcji funkcji bijektywnej która pozwala "tłumaczyć" elementy jednego zbioru na drugi, co z kolei usprawiedliwia wymienne posługiwanie się nimi.

Twierdzenie 6.2.

Dla dowolnych różnych zbiorów $A,B$ istnieje bijekcja pomiędzy zbiorami $\mathbb{\mathbb{P}}\{A,B\}$ a zbiorem $A\times B$.

Dowód

Jeśli któryś ze zbiorów $A,B$ jest pusty to $\mathbb{\mathbb{P}}\{A,B\}=A\times B=\mathrm{\varnothing }$, a więc istnieje pomiędzy nimi bijekcja (ćwiczenie: jaka?). Poniżej rozważamy przypadek, gdy oba zbiory są niepuste.

Zdefiniujemy funkcję $F:\mathbb{\mathbb{P}}\{A,B\}\to A\times B$. Dla dowolnej funkcji $h\in \mathbb{\mathbb{P}}\{A,B\}$ niech $F(h)=(h(A),h(B))$. Zauważmy najpierw, że para $(h(A),h(B))$ jest rzeczywiście elementem zbioru $A\times B$, ponieważ z definicji zbioru $\mathbb{\mathbb{P}}\{A,B\}$ mamy $h(A)\in A$ oraz $h(B)\in B$.

Pokażemy, że funkcja $F$ jest iniekcją. Weźmy dowolne funkcje $g,h\in \mathbb{\mathbb{P}}\{A,B\}$ dla których $F(g)=F(h)$. Z definicji funkcji $F$ otrzymujemy $(g(A),g(B))=(h(A),h(B))$, a to jest spełnione tylko wtedy, gdy $g(A)=h(A)$ i $g(B)=h(B)$. Przypomnijmy, że dziedziną funkcji $g$ i $h$ jest zbiór $\{A,B\}$. Skoro przyjmują te same wartości na elementach dziedziny, to są sobie równe, a to wobec dowolności wyboru $g$ i $h$ oznacza, że $F$ jest iniekcją.

Pozostało pokazać, że $F$ jest suriekcją. Weźmy dowolną parę $(a,b)\in A\times B$ i rozważmy funkcję $g=\{(A,a),(B,b)\}$. Ponieważ zbiory $A$ i $B$ są różne, to $g$ jest funkcją określoną na zbiorze $\{A,B\}$. Dodatkowo $g$ spełnia warunek $g(A)\in A$ i $g(B)\in B$, a więc $g\in \mathbb{\mathbb{P}}\{A,B\}$. Zauważmy, że $F(g)=(g(A),g(B))=(a,b)$. Wskazaliśmy więc element dziedziny funkcji $F$, dla którego wartością jest właśnie $(a,b)$. Wobec dowolności wyboru $(a,b)\in A\times B$ dowiedliśmy, że $F$ jest suriekcją.

Ćwiczenie 6.1

Udowodnij, że założenie o różności zbiorów $A$ i $B$ w powyższym twierdzeniu jest konieczne.

Rozwiązanie

Niech $A=B=\{0,1\}$. Wtedy $A\times B=\{(0,0),(0,1),(1,0),(1,1)\}$ oraz $\mathbb{\mathbb{P}}\{A,B\}=\mathbb{\mathbb{P}}\{A\}=\{(A,0),(A,1)\}$. Ponieważ obraz każdej funkcji ze zbioru $\mathbb{\mathbb{P}}\{A\}$ w zbiór $A\times B$ jest co najwyżej dwuelementowy, to żadna taka funkcja nie może być suriekcją, a więc również nie może być bijekcją.

Twierdzenie Knastra-Tarskiego (patrz Bronisław Knaster i Alfred Tarski

W tym rozdziale przedstawimy podstawową wersję twierdzenia Knastra-Tarskiego o punktach stałych funkcji monotonicznych oraz kilka przykładów zastosowań. Ogólną wersję tego twierdzenia udowodnimy w rozdziale Wyklad 12. Dobre porzadki.

Definicja 7.1.

Funkcję $f:{𝒫}(X)\to {𝒫}(X)$ nazwiemy monotoniczną ze względu na inkluzję jeśli

${\mathrm{\forall }}_{x\subset X}{\mathrm{\forall }}_{y\subset X}(x\subset y\Rightarrow f(x)\subset f(y))$

Funkcje monotoniczne ze względu na inkluzję zachowują relację inkluzji pomiędzy przekształcanymi zbiorami. Nie oznacza to jednak wcale, że argument funkcji musi byc podzbiorem wartości funkcji na tym argumencie.

Ćwiczenie 7.1

Podaj przykład funkcji monotonicznej $f:{𝒫}(X)\to {𝒫}(X)$, dla której nieprawdą jest, że dla każdego zbioru $A\subset X$ zachodzi $f(A)\supset A$.

Rozwiązanie

Dla dowolnego niepustego zbioru $X$ funkcja stale równa $\mathrm{\varnothing }$ spełnia żądane założenia. Jest monotoniczna, gdyż prawa strona implikacji w definicji monotoniczności jest zawsze spełniona
($\mathrm{\varnothing }\subset \mathrm{\varnothing }$). Dla zbioru $X$ mamy $f(X)=\mathrm{\varnothing }$, a więc nieprawdą jest, że $f(X)\supset X$.

Definicja 7.2.

Element $x\in X$ jest punktem stałym funkcji $f:X\to X$, jeśli

$f(x)=x.$

Ćwiczenie 7.2

Podaj przykłady punktów stałych następujących funkcji

1. $f:R\to R$ jest określona wzorem $f(x)=\frac{x}{2}$,

2. $f:{𝒫}({𝒫}(X))\to {𝒫}({𝒫}(X))$ jest określona wzorem $f(x)=\{\bigcup x,\bigcap x\}$,

3. $f:{𝒫}(X^2)\to {𝒫}(X^2)$ jest określona wzorem $f(r)=r^{-1}$,

Rozwiązanie 1

1. 0 jest jedynym punktem stałym funkcji $f$, $0=\frac{0}{2}$.

Rozwiązanie 2

Kilka przykładów punktów stałych

(a) dla dowolnego $x\in X$ mamy $f(\{x\})=\{\bigcup \{x\},\bigcap \{x\}\}=\{x,x\}=\{x\}$,

(b) dla dowolnego $A\subset X$ mamy $f(\{A,\mathrm{\varnothing }\})=\{(A\cup \mathrm{\varnothing }),(A\cap \mathrm{\varnothing })\}=\{A,\mathrm{\varnothing }\}$.

(c)dla dowolnych zbiorów $A\subset B\subset X$ mamy $f(\{A,B\})=\{(A\cup B),(A\cap B)\}=\{B,A\}$.

Rozwiązanie 3

$r\subset X^2$ jest punktem stałym funkcji $f$ wtedy i tylko wtedy, gdy $r=r^{-1}$. Wynika stąd, że punktami stałymi są relacje symetryczne będące podzbiorami $X^2$. Jedną z takich relacji jest ${\mathbb{𝕀}}_X$.

Zwróćmy uwagę, że istnieją funkcje, które nie mają punktów stałych. Prostym przykładem może być funkcja $\{(0,1),(1,0)\}$.

Ćwiczenie 7.3

Niech $X$ będzie niepustym zbiorem. Udowodnij, że dla funkcji $f:{𝒫}(X)\to {𝒫}(X)$ zdefiniowanej wzorem $f(A)=X\setminus A$ nie istnieje punkt stały.

Rozwiązanie

Dla dowodu niewprost przypuścmy, że istnieje punkt stały $F$ dla funkcji $f$. Oznacza to, że $f(F)=F$. Z definicji $f$ wynika, że $f(F)=X\setminus F$, a więc mamy

$F=X\setminus F$

co prowadzi do sprzeczności, gdyż zbiór $X$ jest niepusty.

Definicja 7.3.

Punkt $x_0\subset X$ jest najmniejszym punktem stałym funkcji $f:{𝒫}(X)\to {𝒫}(X)$, jeśli $f(x_0)=x_0$ oraz

${\mathrm{\forall }}_{x_1\subset X}f(x_1)=x_1\Rightarrow x_0\subset x_1.$

Czyli wtedy, kiedy każdy inny punkt stały jest jego nadzbiorem.

Definicja 7.4.

Punkt $x_0\subset X$ jest największym punktem stałym funkcji $f:{𝒫}(X)\to {𝒫}(X)$, jeśli $f(x_0)=x_0$ oraz

${\mathrm{\forall }}_{x_1\subset X}f(x_1)=x_1\Rightarrow x_0\supset x_1.$

Czyli wtedy, kiedy każdy inny punkt stały jest jego podzbiorem.

Poniższy przykład ilustruje, że istnienie najmniejszego i największego punktu stałego wcale nie jest oczywiste.

Przykład 7.5.

Dla funkcji $f:{𝒫}({𝒫}(X))\to {𝒫}({𝒫}(X))$ określonej wzorem $f(A)=\{\bigcap A\}$ punktami stałymi są $\mathrm{\varnothing }$ oraz singletony zawierające podzbiory zbioru $X$ (czyli zbiory postaci $\{A\}$ dla $A\subset X$). Jeśli $X$ jest niepusty, to istnieją przynajmniej dwa różne punkty stałe będące singletonami. Nie istnieje wtedy punkt stały będący ich nadzbiorem, gdyż musiałby zawierać przynajmniej dwa elementy. Wobec tego nie istnieje największy punkt stały funkcji $f$.

Twierdzenie 7.6. [Knaster-Tarski]

Każda monotoniczna funkcja $f:{𝒫}(X)\to {𝒫}(X)$ posiada najmniejszy i największy punkty stałe.

Dowód

Niech $L=\{x\subset X:f(x)\supset x\}$. Pokażemy, że $\bigcup L$ jest największym punktem stałym funkcji $f$. Zauważmy, że dla każdego $x\in L$ z monotoniczności $f$ otrzymujemy

$f(\bigcup L)\supset f(x)\supset x.$

Wobec tego również

$f(\bigcup L)\supset \bigcup L$

skąd otrzymujemy, że $\bigcup L\in L$. Przekształcając obie strony poprzedniego równania przez $f$ dzięki monotoniczności tej funkcji, otrzymamy

$f(f(\bigcup L))\supset f(\bigcup L).$

Wobec czego również $f(\bigcup L)\in L$. Ponieważ każdy element $L$ jest podzbiorem $\bigcup L$, to również $f(\bigcup L)\subset \bigcup L$. Stąd i z równania Uzupelnic eq:fixpointInclusion1| otrzymujemy

$f(\bigcup L)=\bigcup L$

a więc $\bigcup L$ jest punktem stałym funkcji $f$. Co więcej, wszystkie punkty stałe należą do zbioru $L$, wobec czego każdy z nich jest podzbiorem $\bigcup L$, co oznacza dokładnie, że $\bigcup L$ jest największym punktem stałym.

Analogicznie wykażemy istnienie najmniejszego punktu stałego. Niech $U=\{x\subset X:f(x)\subset x\}$. Pokażemy, że $\bigcap U$ jest najmniejszym punktem stałym. Z monotoniczności $f$ mamy dla każdego $x\in U$

$f(\bigcap U)\subset f(x)\subset x$

skąd otrzymujemy

$f(\bigcap U)\subset \bigcap U$

wobec czego $\bigcap U\in U$. Przekształcając obie strony ostatniego równania przez $f$, dzięki monotoniczności tej fukcji, otrzymamy

$f(f(\bigcap U))\subset f(\bigcap U)$

skąd wynika, że $f(\bigcap U)\in U$. Ponieważ $\bigcap U$ jest podzbiorem każdego elementu $U$, więc również $\bigcap U\subset f(\bigcap U)$. Stąd i z równania Uzupelnic eq:fixpointInclusion2| otrzymujemy $f(\bigcap U)=\bigcap U$. Oznacza to że $\bigcap U$ jest punktem stałym funkcji $f$. Ponieważ wszystkie punkty stałe należą do zbioru $U$, to $\bigcap U$ jest najmniejszym punktem stałym.

Przykład 7.7.

Niech $X$ będzie zbiorem induktywnym (czyli takim, którego istnienie jest gwarantowane przez aksjomat nieskończoności). Zdefiniujmy funkcję $f:{𝒫}(X)\to {𝒫}(X)$ w następujący sposób. Dla dowolnego $A\subset X$ niech

$f(A)\stackrel{\text{<mrow data-mjx-texclass="ORD">def</mrow>}}{\equiv }A\cup \{x\cup \{x\}:x\in A\}\cup \{\mathrm{\varnothing }\}.$

Zwróćmy uwagę, że $f(A)\subset X$ dzięki temu, że zbiór $X$ jest induktywny. Z definicji łatwo wynika, że funkcja $f$ jest monotoniczna. Wobec tego z twierdzenia 7.6 (patrz twiedzenie 7.6.) wynika, że ma najmniejszy i największy punkt stały. Zauważmy, że z definicji funkcji $f$ wynika, że każdy punkt stały tej funkcji jest zbiorem induktywnym. Największy punkt stały łatwo wskazać, gdyż jest to cały zbiór $X$. Znacznie ciekawszy jest najmniejszy punkt stały, nazwijmy go $\omega$. Jest to najmniejszy zbiór induktywny będący podzbiorem $X$. W rozdziale Rozdział o liczbach naturalnych pokażemy, że zbiór $\omega$ jest również podzbiorem każdego innego zbioru induktywnego (dociekliwi mogą spróbować udowodnić to już teraz).

Ćwiczenie 7.4

{{{3}}}

{{cwiczenie|7.5||

Niech $f:{𝒫}({𝒫}(N))\to {𝒫}({𝒫}(N))$ będzie zdefiniowana tak, że dla każdego $A\subset N$

$f(A)=\{x\cup y:x,y\in A\}\cup \{\{n\}:n\in N\}.$

Czyli funkcja $f$ przekształca rodziny zbiorów liczb w rodziny zbiorów liczb. Udowodnij, że funkcja $f$ jest monotoniczna. Co jest najmniejszym punktem stałym funkcji $f$? Czy $\mathrm{\varnothing }$ jest elementem tego punktu stałego? }]

Rozwiązanie

Najpierw pokażemy monotoniczność. Weźmy dowolne zbiory $A\subset B\subset {𝒫}(N)$. Weźmy dowolny zbiór $x\in f(A)$. Z definicji funkcji $f$ wynika, że $x$ jest postaci $\{n\}$ dla pewnej liczby $n\in N$ lub $x$ jest postaci $a\cup b$ dla pewnych $a,b\in A$. W pierwszym przypadku $x\in f(B)$ dlatego, że z definicji $f(B)\supset \{\{n\}:n\in N\}$. W drugim przypadku $x\in f(B)$ dlatego, że $B\supset A$, a więc $a,b\in B$ i z definicji $f(B)$ otrzymujemy $a\cup b\in f(B)$.

Pokażemy teraz, że każdy punkt stały funkcji $f$ zawiera wszystkie niepuste skończone podzbiory $N$. Dowód przeprowadzimy przez indukcje ze względu na liczbę elementów zbioru. Niech $S$ będzie punktem stałym funkcji $f$.

1. Baza indukcji. Z definicji funkcji $f$ wynika, że dla dowolnego zbioru $A\subset {𝒫}(N)$ rodzina $f(A)$ zawiera wszystkie zbiory jednoelementowe. Skoro $S$ jest punktem stałym, to $S=f(S)$, a więc musi zawierać wszystkie zbiory jednoelementowe.

2. Krok indukcji. Dla dowolnego $n\in N$ takiego, że $n\ge 1$ pokażemy, że jeśli $S$ zawiera wszystkie $n$-elementowe podzbiory $N$, to zawiera również wszystkie $n+1$-elementowe podzbiory $N$. Weźmy dowolne $n\in N$ takie, że $n\ge 1$ i załóżmy, że $S$ zawiera wszystkie $n$-elementowe podzbiory $N$. Pokażemy, że $S$ zawiera wszystkie $n+1$-elementowe podzbiory $N$. Weźmy dowolny $n+1$-elementowy podzbiór $N$ i nazwijmy go $A$. Niech $a\in A$ (zbiór $A$ jest niepusty). Wtedy z założenia indukcyjnego $A\setminus \{a\}\in S$. Z bazy indukcji otrzymujemy, że $\{a\}\in S$. Z definicji funkcji $f$ wynika, że $(A\setminus \{a\})\cup \{a\}\in f(S)$, czyli $A\in f(S)$. Skoro jednak $S$ jest punktem stałym (czyli $f(S)=S$), to $A\in S$. Wobec dowolności wyboru $A$ krok indukcyjny jest udowodniony.

Wystarczy teraz pokazać, że zbiór niepustych skończonych podzbiorów $N$ jest punktem stałym funkcji $f$. Niech $F$ będzie tym zbiorem. Zauważmy, że $f(F)\supset F$, ponieważ dla każdego $x\in F$ możemy dobrać element $x\cup x\in f(F)$. Wystarczy więc pokazać, że wszystkie zbiory z $f(F)$ są skończone. Weźmy dowolny $y\in f(F)$. Zgodnie z definicją funkcji $f$ zbiór $y$ jest postaci $\{n\}$ dla pewnego $n\in N$ lub postaci $a\cup b$ dla pewnych $a,b\in F$. W pierwszysm przypadku $y$ jest jednoelementowy, a więc skończony. W drugim przypadku jest sumą dwóch zbiorów skończonych, a więc również jest skończony. Pokazaliśmy więc że $f(F)=F$.

$F$ jest punktem stałym i każdy punkt stały funkcji $f$ jest nadzbiorem $F$, więc $F$ jest najmniejszym punktem stałym.

Zauważmy na koniec, że $\mathrm{\varnothing }\notin F$. Łatwo pokazać, że $F\cup \{\mathrm{\varnothing }\}$ jest również punktem stałym funkcji $f$.

Lemat Banacha patrz (Stefan Banach)

Twierdzenie Knastra-Tarskiego posłuży nam do udowodnienia lematu Banacha, który z kolei wykorzystamy w wykładzie dotyczącym teorii mocy Wyklad teoria mocy

Twierdzenie 7.8.

Dla dowolnych zbiorów $X,Y$ oraz funkcji $f:X\to Y$ i $g:Y\to X$ istnieją zbiory $A_1,A_2\subset X$ oraz $B_1,B_2\subset Y$ takie, że:

1. $\{A_1,A_2\}$ jest podziałem zbioru $X$

2. $\{B_1,B_2\}$ jest podziałem zbioru $Y$

3. $\overrightarrow{f}(A_1)=B_1$

4. $\overrightarrow{g}(B_2)=A_2$

(RYSUNEK 6.2)

Dowód

Rozważmy funkcję $F:{𝒫}(X)\to {𝒫}(X)$ zdefiniowaną następująco. Dla dowolnego $A\subset X$ niech

$F(A)=X\setminus \overrightarrow{g}(Y\setminus \overrightarrow{f}(A)).$

Pokażemy najpierw, że $F$ jest monotoniczna. Weźmy dowolne zbiory $C_1,C_2\subset X$ takie, że $C_1\subset C_2$. Wtedy

$\overrightarrow{f}(C_1)\subset \overrightarrow{f}(C_2)$

więc

$Y\setminus \overrightarrow{f}(C_1)\supset Y\setminus \overrightarrow{f}(C_2)$ $\overrightarrow{g}(Y\setminus \overrightarrow{f}(C_1))\supset \overrightarrow{g}(Y\setminus \overrightarrow{f}(C_2))$ $X\setminus \overrightarrow{g}(Y\setminus \overrightarrow{f}(C_1))\subset X\setminus \overrightarrow{g}(Y\setminus \overrightarrow{f}(C_2))$

a więc $F(C_1)\subset F(C_2)$.

Skoro $F$ jest monotoniczna, to na mocy twierdzenia 7.6 (patrz twierdzenie 7.6.) Knastra-Tarskiego posiada najmniejszy punkt stały. Oznaczmy go przez $A_1$. Zdefiniujemy teraz pozostałe zbiory z tezy twierdzenia. Niech

$A_2\stackrel{\text{<mrow data-mjx-texclass="ORD">def</mrow>}}{\equiv }X\setminus A_1,$ $B_1\stackrel{\text{<mrow data-mjx-texclass="ORD">def</mrow>}}{\equiv }\overrightarrow{f}(A_1),$ $B_2\stackrel{\text{<mrow data-mjx-texclass="ORD">def</mrow>}}{\equiv }Y\setminus B_1.$

Z definicji zbiorów $A_1,A_2,B_1,B_2$ natychmiast wynika, że zbiory $\{A_1,A_2\}$ oraz $\{B_1,B_2\}$ tworzą odpowiednio podziały zbiorów $X$ i $Y$. Również z definicji spełniony jest punkt trzeci tezy (czyli $B_1\stackrel{\text{<mrow data-mjx-texclass="ORD">def</mrow>}}{\equiv }\overrightarrow{f}(A_1)$). Pozostaje pokazać, że zachodzi punkt czwarty. Skoro $A_1$ jest punktem stałym funkcji $F$, to

$A_1=X\setminus \overrightarrow{g}(Y\setminus \overrightarrow{f}(A_1)).$

Podstawiając kolejno w powyższym wzorze zdefiniowane zbiory otrzymujemy

$A_1=X\setminus \overrightarrow{g}(Y\setminus B_1),$ $A_1=X\setminus \overrightarrow{g}(B_2).$

Odejmując obie strony od $X$ otrzymamy

$X\setminus A_1=\overrightarrow{g}(B_2).$

Ponieważ jednak lewa strona w powyższej równości jest z definicji równa $A_2$, to otrzymujemy

$A_2=\overrightarrow{g}(B_2).$

Wobec tego zdefiniowane zbiory spełniają wszystkie własności postulowane w tezie twierdzenia.