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 Algebra - Moduln und VektorräumeBeweise zur Dimension
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Geschichte • Erdkunde • Sozialwissenschaften • Politik/Wirtschaft
Forum "Lineare Algebra - Moduln und Vektorräume" - Beweise zur Dimension
Beweise zur Dimension < Moduln/Vektorraum < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Moduln und Vektorräume"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweise zur Dimension: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:57 So 18.11.2012
Autor: Duckx

Aufgabe
Sei (V,+,K) ein Vektorraum über K der Dimension n>1. Unterräume seien W [mm] \subseteq [/mm] V und U [mm] \subset [/mm] V mit dimU=n-1. Dann ist dimW [mm] \cap [/mm] U [mm] \ge [/mm] dimW-1. Beweisen Sie diese Aussage.


Ok also ich hätte angefangen, dass wenn $W [mm] \subseteq [/mm] V$ gilt, dann muss die Dimension von W entweder kleiner oder gleich V sein oder? also $dimW [mm] \le [/mm] n$
Muss ich das noch irgendwie begründen? Wenn ja, wie mache ich soetwas?
$dimU=n-1$
Weiter weiß ich allerdings nicht. Ich kann ja keine Aussagen über $dimW+U$ treffen oder?
Muss ich mit der Dimensionsformel fortfahren?

        
Bezug
Beweise zur Dimension: Antwort
Status: (Antwort) fertig Status 
Datum: 12:26 So 18.11.2012
Autor: felixf

Moin!

> Sei (V,+,K) ein Vektorraum über K der Dimension n>1.
> Unterräume seien W [mm]\subseteq[/mm] V und U [mm]\subset[/mm] V mit
> dimU=n-1. Dann ist dimW [mm]\cap[/mm] U [mm]\ge[/mm] dimW-1. Beweisen Sie
> diese Aussage.
>  
> Ok also ich hätte angefangen, dass wenn [mm]W \subseteq V[/mm]
> gilt, dann muss die Dimension von W entweder kleiner oder
> gleich V sein oder? also [mm]dimW \le n[/mm]
>  Muss ich das noch
> irgendwie begründen? Wenn ja, wie mache ich soetwas?

Nein, das musst du nicht begruenden.

>  [mm]dimU=n-1[/mm]
>  Weiter weiß ich allerdings nicht. Ich kann ja keine
> Aussagen über [mm]dimW+U[/mm] treffen oder?
>  Muss ich mit der Dimensionsformel fortfahren?

Nun, es gibt zwei Moeglichkeiten: entweder gilt $W [mm] \subseteq [/mm] U$. In dem Fall ist eh alles ganz einfach. Andernfalls ist $W [mm] \not\subseteq [/mm] U$, womit $W + U$ eine echte Obermenge von $U$ ist. Wegen [mm] $\dim [/mm] U = n - 1$ muss $W + U = V$ sein, also [mm] $\dim(W [/mm] + U) = n$.

LG Felix


Bezug
                
Bezug
Beweise zur Dimension: Frage (reagiert)
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 12:35 So 18.11.2012
Autor: Duckx

Ok danke das habe ich erst einmal verstanden.
Aber wie komme ich jetzt auf die Gleichung?

Bezug
                        
Bezug
Beweise zur Dimension: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:12 So 18.11.2012
Autor: Duckx

Ok ich probiers dann mal:
1. Möglichkeit: wenn $W [mm] \subseteq [/mm] U$
dann ist $dim(W+U)=dimU$ oder?
$n-1=n-1+dimW-dim(W [mm] \cap [/mm] U)$
$dim(W [mm] \cap [/mm] U)=dimW$

2. Möglichkeit:
wenn $W [mm] \not\subseteq [/mm] U$
dann ist $dim(W+U)=n$
$n=n-1+dimW-dim(W [mm] \cap [/mm] U)$
$dim(W [mm] \cap [/mm] U)=dimW-1$

Und dann kann man dann einfach verallgemeinern, indem man schreibt:
$dim(W [mm] \cap [/mm] U) [mm] \ge [/mm] dim W-1$?

Allerdings kann doch maximal $dimW [mm] \cap [/mm] U=dim W$ werden oder nicht?

Bezug
                                
Bezug
Beweise zur Dimension: Antwort
Status: (Antwort) fertig Status 
Datum: 10:19 Mo 19.11.2012
Autor: felixf

Moin!

> Ok ich probiers dann mal:
>  1. Möglichkeit: wenn [mm]W \subseteq U[/mm]
>  dann ist
> [mm]dim(W+U)=dimU[/mm] oder?
>  [mm]n-1=n-1+dimW-dim(W \cap U)[/mm]
>  [mm]dim(W \cap U)=dimW[/mm]

Genau.

Allerdings haettest du das auch etwas einfacher machen koennen. Wegen $W [mm] \subseteq [/mm] U$ ist $W [mm] \cap [/mm] U = W$. Daraus folgt direkt [mm] $\dim(W \cap [/mm] U) = [mm] \dim [/mm] W$.

> 2. Möglichkeit:
>  wenn [mm]W \not\subseteq U[/mm]
>  dann ist [mm]dim(W+U)=n[/mm]
>  [mm]n=n-1+dimW-dim(W \cap U)[/mm]
>  [mm]dim(W \cap U)=dimW-1[/mm]

Genau.

> Und dann kann man dann einfach verallgemeinern, indem man
> schreibt:
>  [mm]dim(W \cap U) \ge dim W-1[/mm]?

Ja.

> Allerdings kann doch maximal [mm]dimW \cap U=dim W[/mm] werden oder
> nicht?

Ja, kann es. Es ist also entweder gleich [mm] $\dim [/mm] W - 1$ oder [mm] $\dim [/mm] W$, je nachdem ob $W [mm] \not\subseteq [/mm] U$ gilt oder $W [mm] \subseteq [/mm] U$.


Eine schoene Interpretation ist uebrigens: wenn du zu einem homogenen linearen Gleichungssystem eine Gleichung hinzufuegst, dann bleibt die Dimension des Loesungsraum entweder gleich oder verringert sich um genau eins.

LG Felix


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Moduln und Vektorräume"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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