www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenLineare Algebra SonstigesVektorräume
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Lineare Algebra Sonstiges" - Vektorräume
Vektorräume < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Vektorräume: Rechenregeln. Frage zum Beweis
Status: (Frage) beantwortet Status 
Datum: 08:56 Mi 11.03.2009
Autor: stowoda

Aufgabe
In einem K-Vektorraum V hat man die folgenden Rechenregeln:
0*v=0

Der Beweis:
0*v=(0+0)*v=0*v+0*v

Hallo,

wieso wurde diese Beweisführung gewählt?
Man hat einfach aus 0 eine Summe gemacht.. Wo liegt da die Logik?

Geht man so vor, um sicher zu gehen, dass 0 auch wirklich 0 ist?
Denn es scheint mir das einzige Element aus K, was mit sich selbst addiert wird sich selbst ergibt.
Ich finde keine andere Erklärung dazu..
Vielleicht könnt Ihr mir unter die Arme greifen.


Grüße
stowoda

        
Bezug
Vektorräume: Antwort
Status: (Antwort) fertig Status 
Datum: 09:07 Mi 11.03.2009
Autor: angela.h.b.


> In einem K-Vektorraum V hat man die folgenden
> Rechenregeln:
>  0*v=0
>  
> Der Beweis:
>  0*v=(0+0)*v=0*v+0*v
>  Hallo,
>  
> wieso wurde diese Beweisführung gewählt?

Hallo,

zu zeigen ist hier ja, daß  für jeden beliebigen Vektor  [mm] v\in [/mm] v das Produkt mit der Null (aus K) den Nullvektor, also das neutrale Element der Addition in V,  ergibt.

Ich schreib's der Deutlichkeit halber mal mit Pfeilen: zu zeigen ist [mm] 0*\vec{v}=\vec{0} [/mm]

>  Man hat einfach aus 0 eine Summe gemacht.. Wo liegt da die
> Logik?

Großartige Logik liegt nicht darin, sondern folgendes:

1. ist es aufgrund der Def. der [mm] 0\in [/mm] K völlig unbestritten, daß 0+0=0 ist
2. funktioniert's, wenn man diese Tatsache verwendet.

> Geht man so vor, um sicher zu gehen, dass 0 auch wirklich 0
> ist?

Nein, s. o.


Man schreibt also die 0 als 0+0  und erhält hieraus unter Beachtung der Vektorraumaxiome

[mm] \green{0*\vec{v}}=\green{0*\vec{v}} [/mm] + [mm] \blue{0*\vec{v}}. [/mm]    

Nach def. des VRes ist (V,+) eine Gruppe, es gibt also genau ein neutrales Element [mm] \vec{0}. [/mm]

Oben sehen wir nun, daß, wenn wir [mm] \blue{0*\vec{v}} [/mm]   zu [mm] \green{0*\vec{v}} [/mm]  addieren, wieder [mm] \green{0*\vec{v}} [/mm] heruaskommt.

Also muß [mm] \blue{0*\vec{v}} [/mm] das neutrale Element der Addition in V sein, dh.  [mm] \blue{0*\vec{v}}=\vec{0}. [/mm]

Gruß v. Angela





Bezug
                
Bezug
Vektorräume: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:17 Mi 11.03.2009
Autor: stowoda

Ich verstehe nun. :)
Vielen Dank.

Bezug
        
Bezug
Vektorräume: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 09:25 Mi 11.03.2009
Autor: stowoda

Aufgabe
[mm] \lambda\cdot\vec{v}=\vec{0} \Rightarrow \lambda [/mm] = 0 oder [mm] \vec{v} [/mm] = [mm] \vec{0} [/mm]

Beweis:

Ist [mm] \lambda\cdot\vec{v}=\vec{0}, [/mm] aber [mm] \lambda\not=0, [/mm] so folgt
[mm] \vec{v}=1\cdot\vec{v}=(\lambda^{-1}\lambda)\cdot\vec{v}=\lambda^{-1}\cdot(\lambda\cdot\vec{v})=\lambda^{-1}\cdot\vec{0}=\vec{0} [/mm]

Könntest Du mit hier ähnlich wie oben, erklären wie der Beweis zu verstehen ist?


Bezug
                
Bezug
Vektorräume: Antwort
Status: (Antwort) fertig Status 
Datum: 09:42 Mi 11.03.2009
Autor: angela.h.b.


> [mm]\lambda\cdot\vec{v}=\vec{0} \Rightarrow \lambda[/mm] = 0 oder
> [mm]\vec{v}[/mm] = [mm]\vec{0}[/mm]
>  
> Beweis:
>  
> Ist [mm]\lambda\cdot\vec{v}=\vec{0},[/mm] aber [mm]\lambda\not=0,[/mm] so
> folgt
>  
> [mm]\vec{v}=1\cdot\vec{v}=(\lambda^{-1}\lambda)\cdot\vec{v}=\lambda^{-1}\cdot(\lambda\cdot\vec{v})=\lambda^{-1}\cdot\vec{0}=\vec{0}[/mm]
>  Könntest Du mit hier ähnlich wie oben, erklären wie der
> Beweis zu verstehen ist?
>  

Hallo,

es würde mich schon interessieren, was an diesem Beweis Dir unklar ist - bzw. hoffentlich "war" nach der Lektüre.

Ist es die Tatsache, daß hier überhaupt irgendetwas zu zeigen ist, oder siehst Du am Ende nicht, daß etwas gezeigt wurde?

Die Umformungsschritte zwischendurch sind ja wenig geheimnisvoll.


Die Behauptung ist also: $ [mm] \lambda\cdot\vec{v}=\vec{0} \Rightarrow \lambda [/mm] $ = 0 oder $ [mm] \vec{v} [/mm] $ = $ [mm] \vec{0} [/mm] $

Im kleinen Beweis von zuvor wurde bereits gezeigt, daß  [mm] 0\cdot\vec{v}= \vec{0} [/mm] ist.
Wenn wir also [mm] \lambda\cdot\vec{v}=\vec{0} [/mm] sehen, können wir wissen, daß eine Möglichkeit, wie das passieren kann, [mm] \lambda=0 [/mm] sein kann.

Damit steht der eine Teil der Folgerung.

Nun interessieren wir uns dafür, was ist, wenn [mm] \lambda [/mm] eben nicht 0 ist. Dann kann man [mm] \lambda [/mm] invertieren, da es einem Körper entstammt.

Unser Ziel ist es nun, vorzurechnen, daß [mm] \vec{v}=\vec{0} [/mm] ist.

Der Kunstgriff, der verwendet wird, ist, daß man [mm] \vec{v} [/mm] schreibt als [mm] 1*\vec{v}. [/mm]
Man darf dies, weil es in den VRaxiomen steht.

Und nun geht's los, man darf nicht vergessen, daß  [mm] \lambda\cdot\vec{v}=\vec{0} [/mm] vorausgesetzt ist.

Man bekommt

[mm] \vec{v}= 1*\vec{v}= ....=\lambda^{-1}\vec{0}. [/mm]

Ich nehme nun an, daß irgendwann vorher gezeigt wurde, daß das Vielfache des Nullvektors der Nullvektor ist, und das liefert jetzt das letze Mosaiksteinchen [mm] ...=\vec{0}. [/mm]


Nun kurz innehalten und überlegen, was gezeigt wurde:

Man hatte [mm] \lambda\cdot\vec{v}=\vec{0}. [/mm]
dann könnte es sein, daß  [mm] \lambda=0, [/mm] und wenn dies nicht der Fall ist, dann ist nach der Rechnung von oben [mm] vec{v}=\vec{0}. [/mm]
Eine andere Möglichkeit gibt es nicht.

Gruß v. Angela








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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]