Zum Inhalt springen

Banachscher Abbildungssatz

aus Wikipedia, der freien Enzyklopädie

Der Banachsche Abbildungssatz ist ein nach dem polnischen Mathematiker Stefan Banach benannter mathematischer Lehrsatz aus dem Gebiet der Mengenlehre.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Der Satz behandelt eine grundlegende Eigenschaft von Abbildungen. Er ist eng mit dem Cantor-Bernstein-Schröder-Theorem verknüpft.

Formulierung des Satzes

Der Satz lässt sich wie folgt formulieren:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Gegeben seien Mengen   <math> M </math>  und  <math> N </math>  und dazu Abbildungen
  <math> {\phi}\colon\, M \to N </math>   und   <math> {\psi}\colon\, N \to M </math>.
Dabei sei   <math>{\phi}</math>   injektiv.
Dann existieren Mengen   <math> M_1, M_2, N_1, N_2</math>   mit
 <math> M = M_1 \cup M_2</math>  und  <math> M_1 \cap M_2 = \emptyset</math> 
sowie
 <math> N = N_1 \cup N_2</math>  und  <math> N_1 \cap N_2 = \emptyset</math> 
derart, dass gilt:
 <math> {\phi}(M_1) = N_1</math>  und  <math> {\psi}(N_2) = M_2</math> 

Verschärfung

Es lässt sich mit Hilfe des Fixpunktsatzes von Tarski und Knaster zeigen,<ref>{{#invoke:Vorlage:Literatur|f}}</ref> dass die Behauptung des Satzes immer noch gilt, wenn die Injektivitätsbedingung für die Abbildung   <math> {\phi}\colon\, M \to N </math>   fallen gelassen wird.

Der Banachsche Abbildungssatz (verschärfte Version) lautet demnach folgendermaßen:

Gegeben seien Mengen   <math> M </math>  und  <math> N </math>  und dazu Abbildungen
<math> {\phi}\colon\, M \to N </math>   und   <math> {\psi}\colon\, N \to M </math>  .
Dann existieren Mengen   <math> M_1, M_2, N_1, N_2</math>   mit
 <math> M = M_1 \cup M_2</math>  und  <math> M_1 \cap M_2 = \emptyset</math> 
sowie
 <math> N = N_1 \cup N_2</math>  und  <math> N_1 \cap N_2 = \emptyset</math> 
derart, dass gilt:
 <math> {\phi}(M_1) = N_1</math>  und  <math> {\psi}(N_2) = M_2</math> 

Beweis (Verschärfung)

Betrachte die Abbildung <math> F: \mathcal P(M) \rightarrow \mathcal P(M) </math> mit <math> F(A) := M \setminus (\psi( N \setminus \phi(A))) </math>.

Da <math> F </math> monoton ist, besitzt <math> F </math> nach dem Fixpunktsatz von Tarski und Knaster einen Fixpunkt <math> M_1 </math>. Es gilt also <math> M_1 = M \setminus ( \psi( N \setminus \phi(M_1))) </math> beziehungsweise äquivalent hierzu

<math> M \setminus M_1 = \psi(N \setminus \phi(M_1)) </math>.

Wir setzen nun <math> M_2 := M\setminus M_1 </math>, <math> N_1 := \phi(M_1) </math> und <math> N_2 := N \setminus N_1 </math>.

Hiermit erhalten wir wie gewünscht <math> {\phi}(M_1) = N_1</math> und <math> {\psi}(N_2) = \psi(N\setminus \phi(M_1)) = M \setminus M_1 = M_2</math>.

Folgerung

Aus dem Banachschen Abbildungssatz folgt unmittelbar das Cantor-Bernstein-Schröder-Theorem.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Literatur

Artikel und Originalarbeiten

  • {{#invoke:Vorlage:Literatur|f}}{{#if:
       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Fundamenta Mathematicae
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:Stefan Banach|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}
  • {{#invoke:Vorlage:Literatur|f}}{{#if:
       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Pacific Journal of Mathematics
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:Alfred Tarski|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}
  • {{#invoke:Vorlage:Literatur|f}}{{#if:
       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Ann. Soc. Polon. Math.
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:Bronislaw Knaster|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}

Monographien

  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Banachscher_Abbildungssatz&oldid=2630122“