Deinen Beweis verstehe ich
- ehrlich gesagt - nicht.
Seien dim X = n und dim Y= n-1 …...
Das ist doch nicht vorausgesetzt, sondern nur
Seien X und Y zwei affine Unterräume des An und X ∩Y= ∅.
Vielleicht kann man so anfangen:
Also gibt es nichttriviale Unterräume U und V
(beide Dimensionen im Bereich 1 bis n-1) von ℝn und
p∈X und q∈Y mit X=p+U und Y=q+V.
Dann sind die gesuchten Hyperebenen wohl
p+(U+V) und q+(U+V).
Dass X und Y jeweils enthalten sind, muss man wohl noch beweisen.