matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenLineare AbbildungenAffine Unterräume
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Lineare Abbildungen" - Affine Unterräume
Affine Unterräume < Abbildungen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Affine Unterräume: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:41 Di 23.03.2010
Autor: Schmetterfee

Aufgabe
Es sei V ein K-Vektorraum und A [mm] \subset [/mm] V eine Teilmenge. Dann ist äqivalent:
(i) A ist ein affiner Unterraum von V, d.h. A ist leer, oder es existieren ein Vektor a [mm] \in [/mm] V sowie ein linearer Unterraum U [mm] \subset [/mm] V mit A = a+U.
(ii) Es existiert ein Vektorraum V' und eine K-lineare Abbildung f: V [mm] \to [/mm] V', so dass A eine Faser von f ist, d.h. es existiert ein a' [mm] \in [/mm] V' mit A= [mm] f^{-1} [/mm] (a').
(iii) A ist abgeschlossen unter Affinenkombination, dh: Für jeweils endlich viele Elemente [mm] a_{0}, [/mm] ..., [mm] a_{r} \in [/mm] A sowie Koeffizienten [mm] \alpha_{0}, [/mm] ..., [mm] \alpha_{r} \in [/mm] K mit [mm] \summe_{i=0}^{r} \alpha_{i}=1 [/mm] folgt [mm] \summe_{i=0}^{r} \alpha_{i} a_{i} \in [/mm] A.

Hallo liebe Community...

habe nun Semesterferien und endlich Zeit den gesamten Vorlesungsstoff durch zu arbeiten und bei diesen äquivalten Sätzen stosse ich auf ein Problem und zwar bei dem Beweis zur Äquivalenz von (iii) \ to (i).
der beweis lautet wie folgt:

Es gelte (iii). Wir wählen ein beliebiges Element [mm] a_{0} \in [/mm] A und zeigen, dass [mm] \Delta [/mm] A := [mm] {a-a_{0} ; a \in A} [/mm] ein libeare Unterraum von V ist; dann ist A = [mm] a_{0} [/mm] + [mm] \Delta [/mm] A ein affiner Unterrazm, wie für (i) gewünscht. Wir müssen also zeigen, dass [mm] \Delta [/mm] A nicht leer ist, sowie unter Addition und Multiplikation mit Skalaren abgeschlossen.
Wegen 0 [mm] \in \Delta [/mm] A (wähle a:= [mm] a_{0}) [/mm] ist [mm] \Delta [/mm] A [mm] \not [/mm] = [mm] \emptyset. [/mm] Sind a,b [mm] \in \Delta [/mm] A, etwa a= [mm] a_{1} [/mm] - [mm] a_{0} [/mm] und [mm] b=b_{1} [/mm] - [mm] a_{0} [/mm] mit [mm] a_{1}, b_{1} \in [/mm] A, so folgt [mm] 1a_{1} [/mm] + (-1) [mm] a_{0} [/mm] + 1 [mm] b_{1} \in [/mm] A gemäß (iii) (da 1-1+1=1)
(so an dieser Stelle beginnen meine Probleme wie komme ich auf die Koeffinzienten vor dem a bzw b?)
weiter geht der Beweis: und damit
a+b= [mm] (a_{1} [/mm] - [mm] a_{0} [/mm] + [mm] b_{1})- a_{0} \in \Delta [/mm] A.
Für beliebige [mm] \alpha \in [/mm] K gilt analog [mm] \alpha a_{1} [/mm] + (1- [mm] \alpha) a_{0} \in [/mm] A wegen (iii)
(hier liegt ein weiteres Problem von mir wie komm ich auf [mm] 1-\alpha?) [/mm]
weiter mit dem Beweis:
und daher [mm] \alpha [/mm] a = [mm] \alpha a_{1} [/mm] - [mm] \alpha a_{0}= (\alpha a_{1} [/mm] + (1- [mm] \alpha) a_{0}) [/mm] - [mm] a_{0} \in \Delta [/mm] A.

so kann mir jemand diese 2 Stellen im Beweis erklären?...wäre echt dankbar...

dann hab ich noch eine allgemeinere Frage und zwar. habe ich mittlerweile keine Probleme mehr den Vorlesunggsstoff zu verstehen mein Problem besteht nun eher da drin dies in eigenständige Beweise ein zu betten...
kann man das irgendwie üben ein Auge für Beweise selbst schreiben zu bekommen oder muss da sprichwörtlich irgendwann der Knoten aufgehen?

Ich bin über jede Hilfe dankbar

LG Schmetterfee

        
Bezug
Affine Unterräume: Antwort
Status: (Antwort) fertig Status 
Datum: 07:21 Mi 24.03.2010
Autor: angela.h.b.


> Es sei V ein K-Vektorraum und A [mm]\subset[/mm] V eine Teilmenge.
> Dann ist äqivalent:
>  (i) A ist ein affiner Unterraum von V, d.h. A ist leer,
> oder es existieren ein Vektor a [mm]\in[/mm] V sowie ein linearer
> Unterraum U [mm]\subset[/mm] V mit A = a+U.
>  (ii) Es existiert ein Vektorraum V' und eine K-lineare
> Abbildung f: V [mm]\to[/mm] V', so dass A eine Faser von f ist, d.h.
> es existiert ein a' [mm]\in[/mm] V' mit A= [mm]f^{-1}[/mm] (a').
>  (iii) A ist abgeschlossen unter Affinenkombination, dh:
> Für jeweils endlich viele Elemente [mm]a_{0},[/mm] ..., [mm]a_{r} \in[/mm] A
> sowie Koeffizienten [mm]\alpha_{0},[/mm] ..., [mm]\alpha_{r} \in[/mm] K mit
> [mm]\summe_{i=0}^{r} \alpha_{i}=1[/mm] folgt [mm]\summe_{i=0}^{r} \alpha_{i} a_{i} \in[/mm]
> A.
>  Hallo liebe Community...
>  
> habe nun Semesterferien und endlich Zeit den gesamten
> Vorlesungsstoff durch zu arbeiten und bei diesen
> äquivalten Sätzen stosse ich auf ein Problem und zwar bei
> dem Beweis zur Äquivalenz von (iii) \ to (i).
>  der beweis lautet wie folgt:
>  
> Es gelte (iii). Wir wählen ein beliebiges Element [mm]a_{0} \in[/mm]
> A und zeigen, dass [mm]\Delta[/mm] A := [mm]{a-a_{0} ; a \in A}[/mm] ein
> libeare Unterraum von V ist; dann ist A = [mm]a_{0}[/mm] + [mm]\Delta[/mm] A
> ein affiner Unterrazm, wie für (i) gewünscht. Wir müssen
> also zeigen, dass [mm]\Delta[/mm] A nicht leer ist, sowie unter
> Addition und Multiplikation mit Skalaren abgeschlossen.
>  Wegen 0 [mm]\in \Delta[/mm] A (wähle a:= [mm]a_{0})[/mm] ist [mm]\Delta[/mm] A [mm]\not[/mm]
> = [mm]\emptyset.[/mm] Sind a,b [mm]\in \Delta[/mm] A, etwa a= [mm]a_{1}[/mm] - [mm]a_{0}[/mm]
> und [mm]b=b_{1}[/mm] - [mm]a_{0}[/mm] mit [mm]a_{1}, b_{1} \in[/mm] A,

[mm] (\*) [/mm]

  > so folgt [mm]1a_{1}[/mm]
  > + (-1) [mm]a_{0}[/mm] + 1 [mm]b_{1} \in[/mm] A gemäß (iii) (da 1-1+1=1)
  > (so an dieser Stelle beginnen meine Probleme wie komme ich
  > auf die Koeffinzienten vor dem a bzw b?)
  >  weiter geht der Beweis: und damit
  >   [mm] \in \Delta[/mm] [/mm] A.

Hallo,

ich mache bei [mm] (\*) [/mm] statt der abgesetzten passage mal geringfügig anders weiter als in Deinem Skript, was die Sache klären dürfte.

Es ist nun zu zeigen, daß [mm] a+b\in \Delta [/mm] A.

Es ist a+b= [mm](a_{1}[/mm] - [mm]a_{0}[/mm] + [mm] b_{1})- a_{0}, [/mm]

und um zu zeigen, daß dies in [mm] \Delta [/mm] A liegt, muß aufgrund der Def. von [mm] \Delta [/mm] A untersucht werden, ob das Element  [mm](a_{1}[/mm] - [mm]a_{0}[/mm] + [mm] b_{1}) [/mm] in A liegt.

[mm] a_0, a_1, b_1 [/mm] sind in A.
A ist nach Voraussetzung abgeschlossen unter Affinkombination,
also ist  [mm](a_{1}[/mm] - [mm]a_{0}[/mm] + [mm] b_{1})=1a_1+(-1)a_0+1b_1 \in [/mm] A wegen 1+(-1)+1=1.

Somit ist a+b [mm] \in \Delta [/mm] A.


Die andere Stelle erklärt sich analog, versuche es, wenn Dir wirklich bis hierher alles klar ist, anschließend allein.


>  Für beliebige [mm]\alpha \in[/mm] K gilt analog [mm]\alpha a_{1}[/mm] + (1-
> [mm]\alpha) a_{0} \in[/mm] A wegen (iii)
> (hier liegt ein weiteres Problem von mir wie komm ich auf
> [mm]1-\alpha?)[/mm]
>  weiter mit dem Beweis:
>  und daher [mm]\alpha[/mm] a = [mm]\alpha a_{1}[/mm] - [mm]\alpha a_{0}= (\alpha a_{1}[/mm]
> + (1- [mm]\alpha) a_{0})[/mm] - [mm]a_{0} \in \Delta[/mm] A.
>  
> so kann mir jemand diese 2 Stellen im Beweis
> erklären?...wäre echt dankbar...
>  

> dann hab ich noch eine allgemeinere Frage und zwar. habe
> ich mittlerweile keine Probleme mehr den Vorlesunggsstoff
> zu verstehen mein Problem besteht nun eher da drin dies in
> eigenständige Beweise ein zu betten...
>  kann man das irgendwie üben ein Auge für Beweise selbst
> schreiben zu bekommen oder muss da sprichwörtlich
> irgendwann der Knoten aufgehen?

Beides.

Immer wieder üben. Schauen, was in den Musterlösungen anders ist, der Sache auf den Grund gehen, warum das richtiger ist.
Sich bei jeder Folgerung, die man hinschreibt, fragen: "warum eigentlich?", und eine schlüssige Antwort suchen.
Schlüssig ist vor allem alles, was mit Sätzen aus der Vorlesung begründet werden kann.
Dann muß natürlich das Material bereitliegen, also die genaue Kenntnis der Definitionen und Sätze - sonst kann's nicht klappen.
Zeit investieren.
Thema Übungsblätter: es ist eine Illusion, diese "gerade mal so" an einem nachmittag oder Abend runterrechnen zu können.
Einige wenige können das - ich konnt's nie. Ich mußte am Tag nach der Ausgabe beginnen, um fertig zu werden - was mir allerdings auch erst nach einiger Zeit aufgegangen ist.

Gruß v. Angela

Bezug
                
Bezug
Affine Unterräume: Danke
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:09 Mi 24.03.2010
Autor: Schmetterfee

Danke Angela für die schnelle Antwort...jetzt habe auch ich es verstanden...

es ist zwar noch ein langer Weg aber wenigstens versteh ich die Vorlesungsbeweise und jetzt werd ich verstärkt daran üben dies auch selbstständig hin zu bekommen...

LG Schmetterfee

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]