Loading [MathJax]/jax/output/SVG/jax.js
 
+0  
 
0
677
1
avatar

Beweisen Sie durch starke Induktion über die Mächtigkeit der Menge Y : Seien X und Y endliche disjunkte Mengen, dann ist |X  Y| = |X| + |Y|.

Hinweis: Y = (Y \ {y})  {y} für y  Y, Y  .

 30.11.2020
 #1
avatar+3976 
+1

Ich nutze im Folgenden mal nur das "normale" Vereinigungs-Symbol - sämtliche Mengen, die vereinigt werden, sind aber disjunkt.

Der Induktionsanfang ist wie so oft relativ einfach: 

Ist |Y| =0, so ist |XY|=|X|=|X|=|X|+0=|X|+|Y|.

Sei nun |Y|=n. Wir nehmen nun an, dass die Aussage für alle natürlichen Zahlen kleiner n gilt (Nutzung wird mit * gekennzeichnet), und zeigen damit, dass die Aussage auch für n gilt:

 

|XY|=|X(Y{y}){y}|=|X(Y{y})|+|{y}|=|X|+|Y{y}|+1=|X|+n1+1=|X|+n

 30.11.2020

2 Benutzer online

avatar