0 Daumen
1,8k Aufrufe

Komme bei der transitivität nicht weiter


R = { (a, b) ∈ N × N | ∃k ∈ N : a · b = k hoch 2 }

Genauer: "es soll nachgewiesen werden, dass r eine ÄR ist, reflexivität und Symmetrie habe ich schon nachgewiesen"

Avatar von

Jede Äquivalenzrelation ist transitiv.

Ist denn sicher, dass R eine Äquivalenzrelation ist?

ja es soll nachgewiesen werden, dass r eine ÄR ist, reflexivität und Symmetrie habe ich schon nachgewiesen

Vielleicht könnte man über die Anzahl der Teiler von k gehen.

Habe vorher auch kein Gegenbeispiel für Transitivität hinbekommen. D.h. es könnte schon stimmen.

Ist k eine Primzahl, so gilt

(k,k) Element R

Aneinanderhängen von (k,k) und (k,k) gibt immer noch (k,k) . Alles in R.

(1,k2) , (k2, 1) gibt (1,1) , wieder eine Quadratzahl

analog

(k2,1) , (1, k2) gibt (k2, k2), auch k4 ist ja eine Quadratzahl.


Dann z.B. ein k2 mit mehr Teilern:

k2 = 36

(2,18) in R, (18,2) in R

(6,6), (4,9), (9,4) usw.

Ergibt dann z.B. (4,4) und (9,9) beides (also 16 und 81) wieder Quadratzahlen.

Der gleiche Teiler scheint bisher automatisch immer in gerader Anzahl vorzukommen.

Update: Der fertige Beweis von NeverGiveUp ist bequemer.

Seien (a,b),(b,c)R.\text{Seien }(a,b),(b,c)\in R.

Dann existieren k1,k2N so, dass ab=k12 und bc=k22.\text{Dann existieren } k_1,k_2\in \mathbb{N} \text{ so, dass } a\cdot b = k_1^2 \text{ und } b\cdot c = k_2^2.

Multiplizieren beider Gleichungen fu¨hrt zu abbc=ab2c=k12k22.\text{Multiplizieren beider Gleichungen führt zu } a\cdot b \cdot b \cdot c = a\cdot b^2 \cdot c = k_1^2 \cdot k_2^2.

Es ist aus den Gleichungen ersichtlich b20 ist Teiler von k12k22.\text{Es ist aus den Gleichungen ersichtlich } b^2\neq 0 \text{ ist Teiler von } k_1^2\cdot k_2^2.

Damit ist k12k22b2=(k1k2b)2 und insbesondere auch k1k2b ebenfalls eine natu¨rliche Zahl.\text{Damit ist } \frac{k_1^2\cdot k_2^2}{b^2} = \left(\frac{k_1\cdot k_2}{b}\right)^2 \text{ und insbesondere auch } \frac{k_1\cdot k_2}{b} \text{ ebenfalls eine natürliche Zahl.}

Also folgt ac=k12k22b2=(k1k2b)2 und k1k2bN.\text{Also folgt } a\cdot c = \frac{k_1^2\cdot k_2^2}{b^2} = \left(\frac{k_1\cdot k_2}{b}\right)^2 \text{ und } \frac{k_1\cdot k_2}{b}\in \mathbb{N}.

Damit folgt (a,c)R fu¨b0.\text{Damit folgt } (a,c)\in R \text{ für } b\neq 0.

Fu¨b=0 wird die Transitivita¨t im Allgemeinen nicht erfu¨llt.\text{Für } b=0 \text{ wird die Transitivität im Allgemeinen nicht erfüllt.}

Das ist aber abha¨ngig von eurer Definition der natu¨rlichen Zahlen.\text{Das ist aber abhängig von eurer Definition der natürlichen Zahlen.}

Schreib das doch als "Antwort". Schön gemacht!

1 Antwort

0 Daumen

Analog meinem Kommentar:

Seien (a,b),(b,c)R.\text{Seien }(a,b),(b,c)\in R.

Dann existieren k1,k2N so, dass ab=k12 und bc=k22.\text{Dann existieren } k_1,k_2\in \mathbb{N} \text{ so, dass } a\cdot b = k_1^2 \text{ und } b\cdot c = k_2^2.

Multiplizieren beider Gleichungen fu¨hrt zu abbc=ab2c=k12k22.\text{Multiplizieren beider Gleichungen führt zu } a\cdot b \cdot b \cdot c = a\cdot b^2 \cdot c = k_1^2 \cdot k_2^2.

Es ist aus den Gleichungen ersichtlich b20 ist Teiler von k12k22.\text{Es ist aus den Gleichungen ersichtlich } b^2\neq 0 \text{ ist Teiler von } k_1^2\cdot k_2^2.

Damit ist k12k22b2=(k1k2b)2 und insbesondere auch k1k2b ebenfalls eine natu¨rliche Zahl.\text{Damit ist } \frac{k_1^2\cdot k_2^2}{b^2} = \left(\frac{k_1\cdot k_2}{b}\right)^2 \text{ und insbesondere auch } \frac{k_1\cdot k_2}{b} \text{ ebenfalls eine natürliche Zahl.}

Also folgt ac=k12k22b2=(k1k2b)2 und k1k2bN.\text{Also folgt } a\cdot c = \frac{k_1^2\cdot k_2^2}{b^2} = \left(\frac{k_1\cdot k_2}{b}\right)^2 \text{ und } \frac{k_1\cdot k_2}{b}\in \mathbb{N}.

Damit folgt (a,c)R fu¨b0.\text{Damit folgt } (a,c)\in R \text{ für } b\neq 0.

Fu¨b=0 wird die Transitivita¨t im Allgemeinen nicht erfu¨llt.\text{Für } b=0 \text{ wird die Transitivität im Allgemeinen nicht erfüllt.}

Das ist aber abha¨ngig von eurer Definition der natu¨rlichen Zahlen.\text{Das ist aber abhängig von eurer Definition der natürlichen Zahlen.}

Avatar von 2,9 k

Ein anderes Problem?

Stell deine Frage