Satz:Aus der Existenz zweier Projektionsoperatoren für geordnete Paare folgt das Paaraxiom: Unterschied zwischen den Versionen

aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 2: Zeile 2:
|id          = beziehung_projektion_paaraxiom
|id          = beziehung_projektion_paaraxiom
|title      = Existenz des Paaraxioms
|title      = Existenz des Paaraxioms
|proposition = Wenn zwei Projektionsfunktionen $\pi_1$ und $\pi_2$ existieren, die die Bedingungen
|proposition = Wenn zwei Projektionsoperatoren $\pi_1$ und $\pi_2$ existieren, die die Bedingungen


<div class="formula">$\pi_1([a,b]) = a$</div>
<div class="formula">$\pi_1([a,b]) = a$</div>
Zeile 8: Zeile 8:


erfüllen, dann ist auch das [[Paaraxiom]]  
erfüllen, dann ist auch das [[Paaraxiom]]  
<div class="formula">$\bigwedge a,b: [a,b] = [c,d] \Leftrightarrow a=c \,\&\,b=d $</div>
<div class="formula">$\forall a,b: [a,b] = [c,d] \Leftrightarrow a=c \,\&\,b=d $</div>
erfüllt.
erfüllt.
}}
}}

Version vom 9. November 2014, 17:32 Uhr

Satz: Existenz des Paaraxioms

Wenn zwei Projektionsoperatoren $\pi_1$ und $\pi_2$ existieren, die die Bedingungen

$\pi_1([a,b]) = a$
$\pi_2([a,b]) = b$

erfüllen, dann ist auch das Paaraxiom

$\forall a,b: [a,b] = [c,d] \Leftrightarrow a=c \,\&\,b=d $

erfüllt.

Anmerkung

Dieser Satz ist die Umkehrung des Satzes „Existenz und Eindeutigkeit der Projektionsoperatoren“. Außerdem folgt aus dem Eindeutigkeitssatz sofort, dass die beiden Projektionsfunktionen eindeutig sind, sofern sie überhaupt existieren.

Beweis

Wenn $[a,b] = [c,d]$, dann ist auch $a = \pi_1([a,b]) = \pi_1([c,d]) = c$ und $b = \pi_2([a,b]) = \pi_2([c,d]) = d$.

Die Rückrichtung Paaraxioms gilt trivialerweise wegen des „Prinzips von der Identität des Ununterscheidbaren“.

Abgerufen von „https://glossar.hs-augsburg.de/w/index.php?title=Satz:Aus_der_Existenz_zweier_Projektionsoperatoren_für_geordnete_Paare_folgt_das_Paaraxiom&oldid=35455“