0 Daumen
694 Aufrufe

Zeigen Sie für Mengen A, B, C: Ist f : A → B eine bijektive Abbildung, so ist auch
g : A × C → B × C,(a, c) 7→ (f(a), c)
eine bijektive Abbildung.
b) Zeigen Sie mittels vollständiger Induktion, dass N hoch k für alle k ∈ N abzählbar (unendlich) ist.

brauche unbedingt hilfe :(

Avatar von

1 Antwort

0 Daumen

Hallo Caro,

a) Bijektivität ist doch äquivalent zur Existenz einer Umkehrabbildung. Da \(f\) bijektiv ist existiert eine Abbildung \(f^{-1} \) mit

$$ f^{-1} \circ f = id_A, \quad f \circ f^{-1} = id_B $$

Mit diesem Wissen können wir uns ganz einfach eine Umkehrabbildung für g definieren. Setze

$$ h: B \times C \to A \times C, ~(b,c) \mapsto (f^{-1}(b), c) $$

Dann gilt für Elemente \( (a,c) \in A\times C\):

$$ (h \circ g) ((a,c)) = h(g((a,c))) = h((f(a),c)) = (f^{-1}(f(a)),c) = (a,c) $$

und für Elemente \( (b,c) \in B\times C \):

$$ (g \circ h)( (b,c)) = g(h((b,c))) = g((f^{-1}(b),c)) = (f(f^{-1}(b)),c) = (b,c) $$

also ist

$$ h \circ g = id_{A\times C},\quad g \circ h = id_{B\times C} $$

d.h. g ist bijektiv.

b) Wir können hier Aufgabenteil a) verwenden. Eine Menge M heißt abzählbar unendlich, wenn es eine bijektive Abbildung \( M \to \mathbb{N} \) gibt. Wir zeigen die Aussage mit vollständiger Induktion über k.

IA:

k = 1: klar, \( \mathbb{N} = \mathbb{N}^1 \) ist abzählbar unendlich

k = 2: Hast du hier ein Idee? Gesucht ist eine bijektive Abbildung \( \varphi: \mathbb{N}^2 \to \mathbb{N} \)

IV: \( \mathbb{N}^k \) ist abzählbar unendlich für ein \( k \in \mathbb{N} \)

IS: k -> k+1

Aus der IV folgt es existiert eine bijektive Abbildung \( g_k : \mathbb{N}^k \to \mathbb{N} \), denn \(\mathbb{N}^k \) ist abzählbar unendlich. Teil a) sagt, dass die Abbildung

$$ \tilde{g}_{k+1} : \underbrace{\mathbb{N}^k \times \mathbb{N}}_{=\mathbb{N}^{k+1}} \to \underbrace{\mathbb{N} \times \mathbb{N}}_{=\mathbb{N}^2}, (x,y) \mapsto (f_k(x), y) $$

bijektiv ist. Jetzt setzen wir einfach \( g_k := \varphi  \circ \tilde{g}_{k+1} : \mathbb{N}^{k+1} \to \mathbb{N}^2 \to \mathbb{N} \). Als Komposition von bijektiven Funktionen ist diese Funktion sicher bijektiv und somit ist \( \mathbb{N}^{k+1} \) abzählbar unendlich. \( \Box \)

Grüße

EmNero

Avatar von 6,0 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community