Definition (α ≼ β und α ≼* β) Seien α, β Ordnungstypen. Wir setzen: α ≼ β, falls eine Einbettung f von 〈 M, < 〉 in 〈 N, < 〉 existiert, wobei 〈 M, < 〉, 〈 N, < 〉 lineare Ordnungen sind mit o. t. ( 〈 M, < 〉) = α, o. t. ( 〈 N, < 〉) = β. α ≼* β, falls eine korrekte derartige Einbettung f existiert. Übung (i) ≼ und ≼* sind reflexiv und transitiv. Duden | Suchen | einbettung in. (ii) Aus α ≼* β und β ≼* α folgt i. A. nicht α = β. (iii) Es gibt α, β mit α ≼ β und non (α ≼* β). Aus dem Charakterisierungssatz erhalten wir nun, dass der Typus η ein Dach für alle abzählbaren Ordnungstypen darstellt: Satz (Universalität des Typs η) Sei α ein abzählbarer Ordnungstyp. Dann gilt α ≼* η. abzählbare Typen Beweis Sei 〈 M, < 〉 eine lineare Ordnung des Typs α. Weiter sei 〈 N, < 〉 = 〈 ℚ, < 〉 + 〈 M, < 〉 + 〈 ℚ, < 〉. Dann ist 〈 N, < 〉 abzählbar und unbeschränkt. Wir erweitern 〈 N, < 〉 zu einer dichten Ordnung 〈 Q, < Q 〉, indem wir an allen Sprungstellen der Ordnung eine Kopie von ℚ einschieben. Hierzu sei S = { x ∈ N | x + 1 existiert in N}.
Wir setzen Q = N ∪ (S × ℚ), wobei o. E. N ∩ (S × ℚ) = ∅. Die Ordnung < Q ist definiert durch: (i) < N ⊆ < Q, (ii) (x, q 1) < Q (y, q 2), falls x < N y oder x = y und q 1 < ℚ q 2, (iii) (x, q) < Q y, falls x < N y, (iv) x < Q (y, q), falls x ≤ N y. Dann gilt o. t. ( 〈 Q, < 〉) = η. Also existiert ein Ordnungsisomorphismus g: Q → ℚ. Dann ist aber f = g|M eine korrekte Einbettung von 〈 M, < 〉 in 〈 ℚ, < 〉: Offenbar ist f eine Einbettung. Ist nun X ⊆ M und existiert x = sup(X) in M, so ist nach Konstruktion von 〈 Q, < 〉 auch x = sup(X) in Q, und es gilt g(x) = sup(g″X), da g ein Ordnungsisomorphismus ist. Also auch f (x) = sup(f″X) wegen f = g|M. Analoges gilt für Infima. Einbettung in toto 1. Also ist f korrekt, und damit gilt α ≼* η. 〈 ℚ, < 〉 − und allgemein jede lineare Ordnung des Typs η − enthält also eine korrekte Kopie jeder abzählbaren linearen Ordnung. Insbesondere existiert für jede abzählbare Ordinalzahl α eine strikt aufsteigende Folge rationaler Zahlen der Länge α: Korollar (lange aufsteigende Folgen in ℚ) Sei α eine abzählbare Ordinalzahl.
Bitte logge Dich ein, um diesen Artikel zu bearbeiten. Bearbeiten von lateinisch: totus - ganz Definition In toto bedeutet "im Ganzen". Der Begriff wird zum Beispiel verwendet, um auszudrücken, dass ein Organ oder Tumor vollständig chirurgisch entfernt wurde. Diese Seite wurde zuletzt am 7. Januar 2008 um 13:43 Uhr bearbeitet.
Wörterbuch Einbettung Substantiv, feminin – das Einbetten; das Eingebettetwerden … Zum vollständigen Artikel Integration Substantiv, feminin – 1. Einbeziehung, Eingliederung in ein größeres … 2. [Wieder]herstellung einer Einheit [aus Differenziertem]; … 3. Einbettung in toto video. Verbindung einer Vielheit von einzelnen … Tunneling Substantiv, Neutrum – [der Sicherheit dienende] Einbettung eines Kommunikationsprotokolls … Framing Substantiv, Neutrum – 1. Verwendung von Frames bei der … 2. durch Medienproduzent oder -konsument erfolgende … Zum vollständigen Artikel
Nach 18 Jahren wird nämlich der Platz knapp und man muss jede noch verfügbare Fläche nutzen. Mit den am Wiedereingebetteten ist die Zahl der Toten in Glien auf 27. 000 gestiegen, darunter mehrere tausend Zivilisten. An den Feierlichkeiten nahmen neben den deutschen und polnischen Soldaten und den Mitgliedern der deutschen Minderheit, die für die musikalische Begleitung sorgen, auch einige Schüler und Konfirmanden aus Penkun um Pastor Bernhard Riedel, vier neue Volksbund-Mitglieder aus Dänemark sowie zahlreiche polnische Gäste teil. Auch die Abordnung unserer Ortsgruppe aus Stargard war dabei und zündete Grablichter an. Einbettung in Glien 2018. Gedenkredner dieser beeindruckenden Einbettungsveranstaltung war der Parlamentarische Staatssekretär für Vorpommern, Patrick Dahlemann. Für den geistigen Teil sorgte wie immer der erwähnte Pastor Bernhard Riedel, der in seiner Predigt an den drei offenen Grabfeldern mit einem Bibelzitat eine mahnende Botschaft zum Ausdruck brachte: "Sie aber sagen: "Friede! Friede! – Und es ist doch kein Friede".