Zorns lemma

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Zorns lemma är inom mängdläran, en sats av fundamental betydelse. Lemmat används till exempel för att visa existens av maximalideal i ringar, baser i vektorrum samt i många andra fall när urvalsaxiomet behövs i ett existensbevis. Troligen är Zorns lemma den vanligaste formen av urvalsaxiomet i matematiska bevis.

För att kunna förstå Zorns lemma introduceras några begrepp som är av vikt även utanför denna artikel.

En partiellt ordnad mängd är ett par ${\displaystyle (M,\leq )}$ där

• ${\displaystyle M}$ är en icke-tom mängd;
• Symbolen ${\displaystyle \leq }$ betecknar en binär relation på ${\displaystyle M}$ med tre egenskaper:
  • (Reflexivitet) Varje element ${\displaystyle a\in M}$ uppfyller relationen ${\displaystyle a\leq a}$
  • (Antisymmetri) Om ${\displaystyle a\leq b}$ och ${\displaystyle b\leq a}$ så är ${\displaystyle a=b.}$
  • (Transitivitet) Om ${\displaystyle a\leq b}$ och ${\displaystyle b\leq c}$ så är ${\displaystyle a\leq c.}$

En totalt ordnad mängd är en partiellt ordnad mängd ${\displaystyle (M,\leq )}$ med egenskapen att om ${\displaystyle x}$ och ${\displaystyle y}$ är två element i mängden ${\displaystyle M}$ så är ${\displaystyle x\leq y}$ eller ${\displaystyle y\leq x.}$

Ett element ${\displaystyle u\in M}$ är en övre begränsning till en totalt ordnad delmängd ${\displaystyle T}$ av den partiellt ordnade mängden ${\displaystyle (M,\leq )}$ om varje element ${\displaystyle x}$ i mängden ${\displaystyle M}$ uppfyller relationen ${\displaystyle x\leq u.}$

Ett element ${\displaystyle m\in M}$ är ett maximal-element till mängden ${\displaystyle M}$ om det har egenskapen att närhelst ${\displaystyle x}$ är ett element i ${\displaystyle M}$ sådant att ${\displaystyle m\leq x}$, så är ${\displaystyle x=m}$.

Med dessa förberedelser gjorda kan vi formulera det centrala resultatet i denna artikel.

Låt ${\displaystyle (M,\leq )}$ vara en icke-tom partiellt ordnad mängd. Antag att varje totalt ordnad delmängd av ${\displaystyle M}$ har en övre begränsning. Då finns det minst ett maximal-element till mängden ${\displaystyle M}$.

Varje vektorrum ${\displaystyle X\neq \{0\}}$ har en Hamelbas.

Låt ${\displaystyle {\mathcal {M}}}$ vara en samling bestående av alla linjärt oberoende delmängder, ${\displaystyle A_{i}}$, till vektorrummet ${\displaystyle X}$. Mängden ${\displaystyle A_{i}}$ är alltså ett element i ${\displaystyle {\mathcal {M}}}$.

Eftersom ${\displaystyle X\neq \{0\}}$ så finns det ett element ${\displaystyle x\neq 0}$ i vektorrummet ${\displaystyle X}$. Detta element ger i sin tur upphov till en-punkts-mängden ${\displaystyle \{x\}}$, som är en linjärt oberoende delmängd: Det enda sättet på vilket ekvationen ${\displaystyle \alpha x=0}$ kan uppfyllas, är om det komplexa talet ${\displaystyle \alpha =0.}$ Detta visar att ${\displaystyle \{x\}}$ är ett element i samlingen ${\displaystyle {\mathcal {M}}}$, varför denna är en icke-tom mängd.

Paret ${\displaystyle (M,\subseteq )}$ är en partiellt ordnad mängd, där den binära relationen '${\displaystyle \subseteq }$' betecknar mängd-inklusion: ${\displaystyle A\subseteq B}$ betyder att ${\displaystyle A}$ är en delmängd till mängden ${\displaystyle B}$.

Låt ${\displaystyle {\mathcal {A}}=\{A_{i}\}_{i\in I}}$ vara en godtycklig totalt ordnad delmängd av ${\displaystyle {\mathcal {M}}}$. Varje objekt ${\displaystyle A_{i}}$ är en linjärt oberoende delmängd av vektorrummet ${\displaystyle X}$. Unionen av dessa delmängder, ${\displaystyle B=\cup _{i\in I}A_{i}}$, är också en linjärt oberoende delmängd av ${\displaystyle X}$, varför ${\displaystyle B\in {\mathcal {M}}}$. Objektet ${\displaystyle B}$ är enligt konstruktion en övre begränsning till ${\displaystyle {\mathcal {A}}}$. Detta visar att varje total ordnad delmängd av ${\displaystyle {\mathcal {M}}}$ har en övre begränsning.

Zorns lemma låter oss då dra slutsatsen att samlingen ${\displaystyle {\mathcal {M}}}$ har minst ett maximal-element. Låt ${\displaystyle H}$ vara ett maximal-element till ${\displaystyle {\mathcal {M}}}$. Betraktad som ett element i samlingen ${\displaystyle {\mathcal {M}}}$, är ${\displaystyle H}$ en linjärt oberoende delmängd av vektorrummet ${\displaystyle X}$. Det är därför meningsfullt att studera det linjära spannet ${\displaystyle span(H)}$ av ${\displaystyle H}$.

Enligt definitionen av linjärt spann är ${\displaystyle span(H)}$ en delmängd av ${\displaystyle X}$. Vi skall visa att ${\displaystyle X=span(H)}$ genom att anta motsatsen. Vi antar alltså att det finns ett element ${\displaystyle w\in X}$ som inte är ett element i ${\displaystyle span(H)}$. Detta element ger upphov till den linjärt oberoende mängden ${\displaystyle \{w\}}$ som, tillsammans med ${\displaystyle H}$, ger den linjärt oberoende delmängden ${\displaystyle \{w\}\cup H}$ av vektorrummet ${\displaystyle X}$. Vi ser att ${\displaystyle H\subseteq \{w\}\cup H}$, varför vi måste dra slutsatsen att ${\displaystyle H=\{w\}\cup H}$ eftersom ${\displaystyle H}$ är ett maximal-element till den partiellt ordnade mängden ${\displaystyle ({\mathcal {M}},\subseteq )}$. Detta innebär att ${\displaystyle w\in H}$, vilket motsäger antagandet att ${\displaystyle w\notin H}$.

Sammanfattningsvis har vi visat att det finns en linjärt oberoende delmängd ${\displaystyle H\subseteq X}$ som är sådan att ${\displaystyle span(H)=X}$, det vill säga: Mängden ${\displaystyle H}$ är en Hamelbas för vektorrummet ${\displaystyle X}$.

Varje Hilbertrum ${\displaystyle X\neq \{0\}}$ har en ortonormal bas.

Låt ${\displaystyle {\mathcal {M}}}$ vara en samling bestående av alla ortonormala delmängder av Hilbertrummet ${\displaystyle H}$. Det finns ett element ${\displaystyle x\neq 0}$ i detta Hilbertrum, eftersom vi antar att ${\displaystyle H\neq \{0\}}$. Detta element ger upphov till den ortonormala mängden ${\displaystyle \{y\}}$, där elementet ${\displaystyle y=\Vert x\Vert ^{-1}x}$, vilket visar att samlingen ${\displaystyle {\mathcal {M}}}$ är icke-tom.

Paret ${\displaystyle ({\mathcal {M}},\subseteq )}$ utgör en partiellt ordnad mängd, där symbolen ${\displaystyle \subseteq }$ betecknar mängd-inklusion.

Låt ${\displaystyle {\mathcal {A}}=\{A_{i}\}_{i\in I}}$ vara en godtycklig totalt ordnad delmängd av ${\displaystyle {\mathcal {M}}}$. Elementen i ${\displaystyle {\mathcal {A}}}$ utgörs av ortogonala delmängder till Hilbertrummet ${\displaystyle H}$. Unionen av dessa delmängder, ${\displaystyle B=\cup _{i\in I}A_{i}}$, är också en ortogonal delmängd av ${\displaystyle H}$. Eftersom varje mängd ${\displaystyle A_{i}}$ är en delmängd av ${\displaystyle B}$, det vill säga ${\displaystyle A_{i}\subseteq B}$, är ${\displaystyle B}$ en övre begränsning till samlingen ${\displaystyle {\mathcal {A}}}$, med avseende på den partiella ordningen '${\displaystyle \subseteq }$'. Detta visar att varje totalt ordnad delmängd av ${\displaystyle {\mathcal {M}}}$ har en övre begränsning.

Zorns lemma låter oss dra slutsatsen att samlingen ${\displaystyle {\mathcal {M}}}$ har ett maximal-element, som vi betecknar med symbolen ${\displaystyle F}$. Detta maximal-element är en ortonormal delmängd av Hilbertrummet ${\displaystyle H}$. Om vi kan visa att ${\displaystyle F}$ även är en total delmängd av ${\displaystyle H}$, så är ${\displaystyle F}$ en ortonormal bas till Hilbertrummet.

Det slutna höljet ${\displaystyle {\overline {span(F)}}}$ av det linjära spannet ${\displaystyle span(F)}$ är en delmängd av ${\displaystyle H}$. Vi vill visa att ${\displaystyle H={\overline {span(F)}}}$. För att göra detta antar vi motsatsen och visar att detta leder till en motsägelse.

Vi antar därför att det finns ett element, ${\displaystyle z\neq 0}$, i Hilbertrummet ${\displaystyle H}$ som är sådant att ${\displaystyle z\notin {\overline {span(F)}}}$. Detta element är ortogonalt mot mängden F. Tillsammans bildar de den ortonormala mängden ${\displaystyle F\cup \{e\}\in {\mathcal {M}}}$, där elementet ${\displaystyle e=\Vert z\Vert ^{-1}z}$. Vi ser att ${\displaystyle F\subseteq F\cup \{e\}}$, vilket innebär att vi tvingas dra slutsatsen att ${\displaystyle F=F\cup \{e\}}$, eftersom ${\displaystyle F}$ är ett maximal-element till den partiellt ordnade mängden ${\displaystyle ({\mathcal {M}},\subseteq )}$. Detta leder fram till motsägelsen: ${\displaystyle z\in F}$ och ${\displaystyle z\notin F}$.

Sammanfattningsvis har vi visat att varje Hilbertrum ${\displaystyle H\neq \{0\}}$ har en ortonormal bas.

• Zorns lemma är ekvivalent med Urvalsaxiomet: Låt E vara en mängd. Då finns det en funktion ${\displaystyle f:2^{E}\longrightarrow E}$ som avbildar varje delmängd ${\displaystyle M\subseteq E}$ på ett element ${\displaystyle f(M)\in M}$.

• Urvalsaxiomet är också ekvivalent med Tychonoffs teorem inom topologi: Låt ${\displaystyle \{(X_{i},T_{i})\}_{i\in I}}$ vara en familj av kompakta topologiska rum. Då är paret ${\displaystyle (\prod _{i\in I}X_{i},\,\prod _{i\in I}T_{i})}$ ett kompakt topologiskt rum, där ${\displaystyle \prod _{i\in I}T_{i}}$ betecknar

produkt-topologin på ${\displaystyle \prod _{i\in I}X_{i}}$.

• Zorns lemma är ekvivalent med Hausdorffs maximalitetsprincip: Låt ${\displaystyle (X,\leq )}$ vara en partiellt ordnad mängd. Då finns det en totalt ordnad mängd ${\displaystyle (E,\leq )}$ sådan att
  • ${\displaystyle E\subseteq X}$;
  • Om ${\displaystyle M\subseteq X}$ är sådan att ${\displaystyle E\subset M}$, så är ${\displaystyle (M,\leq )}$ inte en totalt ordnad mängd.

Ett annat sätt att uttrycka Hausdorffs maximalitetsprincip är: Varje partiellt ordnad mängd har en maximal totalt ordnad delmängd.

• Zorns lemma är ekvivalent med principen om väl-ordning: För varje icke-tom mängd X går det att konstruera en ordningsrelation ${\displaystyle \leq }$ på X, sådan att paret ${\displaystyle (X,\leq )}$ är en välordnad mängd.

Zorns lemma är en sats inom mängdläran. Lemmat används till exempel för att visa existens av maximalideal i ringar, baser i vektorrum samt i många andra fall när urvalsaxiomet behövs i ett existensbevis. Troligen är Zorns lemma den vanligaste formen av urvalsaxiomet i matematiska bevis.

Givet en icke-tom partiellt ordnad mängd M som är sådan att varje kedja har en övre gräns, så existerar ett maximalt element i M.

Zorns lemma visas med hjälp av urvalsaxiomet. Vidare kan urvalsaxiomet, givet mängdlärans övriga axiom, visas med hjälp av Zorns lemma. Därmed är Zorns lemma och urvalsaxiomet ekvivalenta givet axiomen i ZF.