0 Daumen
1,1k Aufrufe

Aufgabe:

M:={0, 0.5, 1, 1.5, 2, 2.5, 3, 3.5....}

Weshalb erfüllt diese Menge nicht das 5. PEANO-Axiom?

Die 0 ist in M enthalten und für jedes x ∈ M, gilt auch (x+1) ∈ M.

Avatar von

Wie ist denn bei euch das 5. Axiom eingeführt worden?

Für mich ist es nämlich erfüllt.

Diese Menge kann aber das fünfte Axiom nicht erfüllen. Die natürlichen Zahlen enthalten doch keine Komma-Zahlen.

im 5. Axiom wie es etwa in wiki  aufgeführt ist steht für {n ∈N... }  aber 0,5 liegt nicht in N

lul

Das 5 Axiom nach Wikipedia ist:

$$ \forall X (0\in X \land \forall n (n \in \N \Rightarrow (n\in X \Rightarrow n'\in X)) \Rightarrow \N \subseteq X) $$

Heißt

wenn in einer Menge X die 0 liegt

und

für alle natürlichen Zahlen in X auch der Nachfolger in X liegt,

dann

sind die natürlichen Zahlen eine Teilmenge von X.

--

In der Menge \( \{ \frac{n}{2} ~|~ n \in \mathbb N \} \) liegt die 0, für jede natürliche Zahl in dieser Menge liegt auch ihr Nachfolger darin. Die natürlichen Zahlen sind doch offensichtlich eine Teilmenge dieser Menge, da \( 2\mathbb N \subseteq \mathbb N \)

Ich sehe da keinen Widerspruch.

Nirgends wird da irgendwo gefordert, dass nur natürliche Zahlen drin sein dürfen oder ähnliches. Deshalb schau bitte in deinen Unterlagen nach mit welcher Formulierung ihr arbeitet.

Verstehe ich nicht! du selbst schreibst doch ∀n∈N(n∈N...

und 0,5∉N

lul

jedes x ∈ M, gilt auch (x+1) ∈ M.

1 kommt in den Peano-Axiomen gar nicht vor.

Hallo

ob man Nachfolger x' schreibt oder x+1 ist für x∈N egal

lul

ist für x∈N egal

Hier geht es aber um x ∈ M.

Du hast recht in diesem M ist der Nachfolger von x x+0,5

lul

Da steht

Für alle n

WENN n eine natürliche Zahl

DANN

(Wenn n in X dann ist auch der Nachfolger n' in X)

Da n=0.5 keine natürliche Zahl ist, ist diese Aussage für n=0.5 wahr.

1 Antwort

0 Daumen

Fünftes Axiom: \((0\in X \wedge \forall n (n\in X\to n+1 \in X)) \to \mathbb{N}\subseteq X\)

Es gilt

        \(0 \in \underbrace{\{0, 1, 2, 3, \dots\}}_{=X}\)

und

        \(\forall n (n\in \underbrace{\{0, 1, 2, 3, \dots\}}_{=X}\to n+1 \in \underbrace{\{0, 1, 2, 3, \dots\}}_{=X})\).

Laut fünftem Axiom ist deshalb \(\mathbb{N}\subseteq \{0, 1, 2, 3, \dots\}\).

Es gilt aber \(\{0,\ 0.5,\ 1,\ 1.5,\ 2,\ 2.5,\ 3,\ 3.5,\ ....\}\nsubseteq \{0, 1, 2, 3, \dots\}\).

Also muss \(\{0,\ 0.5,\ 1,\ 1.5,\ 2,\ 2.5,\ 3,\ 3.5,\ ....\}\neq \mathbb{N}\) sein.

Avatar von 107 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community