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 Schulmathe
  Status Primarstufe
  Status Mathe Klassen 5-7
  Status Mathe Klassen 8-10
  Status Oberstufenmathe
    Status Schul-Analysis
    Status Lin. Algebra/Vektor
    Status Stochastik
    Status Abivorbereitung
  Status Mathe-Wettbewerbe
    Status Bundeswettb. Mathe
    Status Deutsche MO
    Status Internationale MO
    Status MO andere Länder
    Status Känguru
  Status 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äumeVektorraum-Abbildungen
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Lineare Algebra - Moduln und Vektorräume" - Vektorraum-Abbildungen
Vektorraum-Abbildungen < Moduln/Vektorraum < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Moduln und Vektorräume"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Vektorraum-Abbildungen: Frage (reagiert)
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 23:40 Do 24.11.2011
Autor: sissile

Aufgabe
Sei X eine Menge und V ein Vektorraum über [mm] \IK. [/mm] Zeige, dass die Menge
aller Abbildungen X -> V bezüglich punktweiser Addition und Skalarmultiplikation einen [mm] \IK-Vektorraum [/mm] bildet.

Hallo ihr ;)
Bin bei V5 :
[mm] \forall \lambda [/mm] ,  [mm] \mu \in \IK [/mm]
[mm] \lambda (\mu [/mm] f) = [mm] (\lambda \mu) [/mm] f

[mm] \lambda [/mm] ( [mm] \mu [/mm] f)  = [mm] \lambda [/mm] *  ( [mm] \mu [/mm] f) (x) = ( [mm] \lambda \mu [/mm] f ) (x) = [mm] (\lambda \mu [/mm] ) f (x) =  [mm] (\lambda \mu) [/mm] f
korrekt?

Bei V7:
[mm] \forall \lambda [/mm] ,  [mm] \mu \in \IK [/mm]
[mm] (\lambda [/mm] + [mm] \mu [/mm] ) f = [mm] \lambda [/mm] f + [mm] \mu [/mm] f

( [mm] \lambda [/mm] + [mm] \mu [/mm] ) f  = ( [mm] \lambda [/mm] + [mm] \mu [/mm] ) f  (x) = ( [mm] (\lambda [/mm] + [mm] \mu [/mm] ) f) (x) = ( [mm] \lambda [/mm] f + [mm] \mu [/mm] f ) (x) = [mm] (\lambda [/mm] f) (x) + [mm] (\mu [/mm] f) (x) = [mm] \lambda [/mm] * f(x) + [mm] \mu [/mm] f(x) = [mm] \lambda [/mm] f + [mm] \mu [/mm] f

Bei V8:
1f =f

1f= 1 f (x) = (1*f) (x) = f (x) = f

Kann das für mich wer kurz kontrollieren? Danke, wäre super!
Bei den restlichen Axiomen bin ich mir relativ sicher!

        
Bezug
Vektorraum-Abbildungen: Antwort
Status: (Antwort) fertig Status 
Datum: 07:29 Fr 25.11.2011
Autor: angela.h.b.


> Sei X eine Menge und V ein Vektorraum über [mm]\IK.[/mm] Zeige,
> dass die Menge
>  aller Abbildungen X -> V bezüglich punktweiser Addition

> und Skalarmultiplikation einen [mm]\IK-Vektorraum[/mm] bildet.
>  Hallo ihr ;)

Hallo,

grob über den Daumen gepeilt stimmt das, was Du hier tust.
Es gibt aber einige Schwächen.
Ich mache die V5 mal so vor, wie ich sie richtig finde.
Für jeden Schritt solltest Du eine Begründung wissen.
Anhand dessen wirst Du den Rest selbst bearbeiten können.

>  Bin bei V5 :
> [mm]\forall \lambda[/mm] ,  [mm]\mu \in \IK[/mm]
>  [mm]\lambda (\mu[/mm] f) = [mm](\lambda \mu)[/mm] f

Dafür ist zu zeigen: für alle [mm] x\in [/mm] X gilt [mm] (\lambda(\mu f))(x)=((\lambda\mu)f)(x). [/mm]

Sei [mm] x\in [/mm] X. Es ist
[mm] (\lambda(\mu f))(x)=\lambda (\mu [/mm] f)(x)
[mm] =\lambda (\mu [/mm] f(x))
[mm] =(\lambda \mu)f(x) [/mm]
[mm] =((\lambda \mu)f)(x). [/mm]

Also gilt [mm] $\lambda (\mu$ [/mm] f) = [mm] $(\lambda \mu)$ [/mm] f.

Gruß v. Angela

>  
> [mm]\lambda[/mm] ( [mm]\mu[/mm] f)  = [mm]\lambda[/mm] *  ( [mm]\mu[/mm] f) (x) = ( [mm]\lambda \mu[/mm]
> f ) (x) = [mm](\lambda \mu[/mm] ) f (x) =  [mm](\lambda \mu)[/mm] f
>  korrekt?
>  
> Bei V7:
>   [mm]\forall \lambda[/mm] ,  [mm]\mu \in \IK[/mm]
>  [mm](\lambda[/mm] + [mm]\mu[/mm] ) f =
> [mm]\lambda[/mm] f + [mm]\mu[/mm] f
>  
> ( [mm]\lambda[/mm] + [mm]\mu[/mm] ) f  = ( [mm]\lambda[/mm] + [mm]\mu[/mm] ) f  (x) = (
> [mm](\lambda[/mm] + [mm]\mu[/mm] ) f) (x) = ( [mm]\lambda[/mm] f + [mm]\mu[/mm] f ) (x) =
> [mm](\lambda[/mm] f) (x) + [mm](\mu[/mm] f) (x) = [mm]\lambda[/mm] * f(x) + [mm]\mu[/mm] f(x) =
> [mm]\lambda[/mm] f + [mm]\mu[/mm] f
>  
> Bei V8:
>  1f =f
>  
> 1f= 1 f (x) = (1*f) (x) = f (x) = f
>  
> Kann das für mich wer kurz kontrollieren? Danke, wäre
> super!
>  Bei den restlichen Axiomen bin ich mir relativ sicher!


Bezug
                
Bezug
Vektorraum-Abbildungen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:51 Fr 25.11.2011
Autor: sissile

aber V8 ) kann ich doch nicht viel anders machen?

Bei V8:
1f =f

1f= 1 (f (x)) = (1*f) (x) = f (x) = f

Bei V7:
$ [mm] \forall \lambda [/mm] $ ,  $ [mm] \mu \in \IK [/mm] $
$ [mm] (\lambda [/mm] $ + $ [mm] \mu [/mm] $ ) f =
$ [mm] \lambda [/mm] $ f + $ [mm] \mu [/mm] $ f
  
( $ [mm] \lambda [/mm] $ + $ [mm] \mu [/mm] $ ) f  = ( $ [mm] \lambda [/mm] $ + $ [mm] \mu [/mm] $ )( f  (x) )= (
$ [mm] (\lambda [/mm] $ + $ [mm] \mu [/mm] $ ) f) (x) = ( $ [mm] \lambda [/mm] $ f + $ [mm] \mu [/mm] $ f ) (x) =
$ [mm] (\lambda [/mm] $ f) (x) + $ [mm] (\mu [/mm] $ f) (x) = $ [mm] \lambda [/mm] $ *( f(x)) + $ [mm] \mu [/mm] $ (f(x) )=
$ [mm] \lambda [/mm] $ f + $ [mm] \mu [/mm] $ f

Ich habe paar klammern mehr gesetzt. Noch ausbaufähig?

Bezug
                        
Bezug
Vektorraum-Abbildungen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:18 Fr 25.11.2011
Autor: angela.h.b.


> aber V8 ) kann ich doch nicht viel anders machen?

Hallo,

ein paar Wörtchen wie "zu zeigen" und "es sei" sind kein Fehler.

>  
> Bei V8:
>   1f =f
>  
> 1f= 1 (f (x)) = (1*f) (x) = f (x) = f

Das Rote ist eine Katastrophe.
Du behauptest hier, daß die Funktion 1f dasselbe ist wie ihr Funktionswert an der Stelle x.
Ich hatte das in meiner Rechnung nicht so gemacht und gehofft, daß es Dir auffallen würde.
Du machst diesen Fehler konsequent weiter.

Schreib doch mal auf, was zu zeigen ist: für alle [mm] x\in [/mm] X gilt:
Und dann leg los:

(1f)(x)=...
Wenn Du jeden Schritt mit der Nr. einer Definition o.ä. begründen kannst, ist es richtig.

Die Gleichung 1 (f (x)) = (1*f) (x) = f (x) ist zwar richtig, aber der gedankliche Ablauf stimmt nicht, und ohne Zwischenschritt wirst Du keine Begründung fürs zweite Gleichheitszeichen haben. Da ist einfach die Behauptung hingeschrieben.

Du willst doch zeigen (1f)(x)=...=f(x)


>
> Bei V7:
>  [mm]\forall \lambda[/mm] ,  [mm]\mu \in \IK[/mm]
>   [mm](\lambda[/mm] + [mm]\mu[/mm] ) f = f + [mm]\mu[/mm] f


>    
>  ( [mm]\lambda[/mm] + [mm]\mu[/mm] )( f  (x) )=

XXX> (  [mm](\lambda[/mm] + [mm]\mu[/mm] ) f) (x) = ( [mm]\lambda[/mm] f + [mm]\mu[/mm] f ) (x) =

>   [mm](\lambda[/mm] f) (x) + [mm](\mu[/mm] f) (x) = [mm]\lambda[/mm] *( f(x)) + [mm]\mu[/mm] (f(x) )

In der angekreuzten Zeile steht wieder einfach die Behauptung.
Du mußt Dich bei jedem Schritt fragen: "warum?" und eine Antwort in Form einer Definition/eines Satzes o.ä. parat haben.

>
> Ich habe paar klammern mehr gesetzt. Noch ausbaufähig?

Es wäre vielleicht nicht nur für mich hilfreich, wenn man Deinem Profil entnehmen könnte, was Du studierst.
Beim Lehramt für Sonderschulen könnte man sicher manches etwas lockerer sehen als beim LG oder gar Mathe-Bachelor.

Gruß v. Angela


Bezug
                                
Bezug
Vektorraum-Abbildungen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:35 Fr 25.11.2011
Autor: sissile


> Die Gleichung 1 (f (x)) = (1*f) (x) = f (x) ist zwar richtig, aber der gedankliche Ablauf stimmt nicht

mhm

Definiert haben wir:
[mm] (\lambda [/mm] f) (x) := [mm] \lambda [/mm] f (x)
(f+g) (x) := f(x) + g (x)

Und bei 8 tritt doch nur die definition 1 in kraft!

Ich kome nun zu deinem Zurück

> Dafür ist zu zeigen: für alle $ [mm] x\in [/mm] $ X gilt $ [mm] (\lambda(\mu f))(x)=((\lambda\mu)f)(x). [/mm] $

Sei $ [mm] x\in [/mm] $ X. Es ist

> $ [mm] (\lambda(\mu f))(x)=\lambda (\mu [/mm] $ f)(x)
> $ [mm] =\lambda (\mu [/mm] $ f(x))
> $ [mm] =(\lambda \mu)f(x) [/mm] $
> $ [mm] =((\lambda \mu)f)(x). [/mm] $

wie erklärst du das hier mit der Definition?
-> Du ziehst [mm] \lambda [/mm] heraus
-> Du isolierts f(x)
...Wie ist dazu die begründung?

Bezug
                                        
Bezug
Vektorraum-Abbildungen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:47 Fr 25.11.2011
Autor: angela.h.b.


> > Die Gleichung 1 (f (x)) = (1*f) (x) = f (x) ist zwar
> richtig, aber der gedankliche Ablauf stimmt nicht
>  mhm
>  
> Definiert haben wir:

A. >  [mm](\lambda[/mm] f) (x) := [mm]\lambda[/mm] f (x)
B. >  (f+g) (x) := f(x) + g (x)

>  
> Und bei 8 tritt doch nur die definition 1 in kraft!
>  
> Ich kome nun zu deinem Zurück
>  > Dafür ist zu zeigen: für alle [mm]x\in[/mm] X gilt [mm](\lambda(\mu f))(x)=((\lambda\mu)f)(x).[/mm]

>  
> Sei [mm]x\in[/mm] X. Es ist
>  > [mm](\lambda(\mu f))(x)=\lambda (\mu[/mm] f)(x) A.

>  > [mm]=\lambda (\mu[/mm] f(x)) A.

>  > [mm]=(\lambda \mu)f(x)[/mm]  Vektorraumaxiome

>  > [mm]=((\lambda \mu)f)(x).[/mm] A.

>  wie
> erklärst du das hier mit der Definition?

Eigentlich solltest Du darüber nachdenken.
Ich hab's dahintergeschrieben.

Gruß v. Angela








>  -> Du ziehst [mm]\lambda[/mm] heraus

>  -> Du isolierts f(x)

>  ...Wie ist dazu die begründung?


Bezug
                                                
Bezug
Vektorraum-Abbildungen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:05 Fr 25.11.2011
Autor: sissile

Gut v8)

(1f) (x) =
1 f(x) B
=f(x)   Vekktorraumaxiom->1v=v
oder bezeichnet 1 eine konstante Einsfunktion? ( 1(x) * f (x)= 1 f (x) ), aber die Mult von Funktionen..da hätten wir ja noch keine definition!)

V4 ) Kommutativität der addition
(f + g) (x) =
= f (x) + g (x)  A
= g (x) + f (x)  Nicht sicher ob dass das selbe Vektorraumaxiom der kommutativitäöt erklärt ;(
(g + f) (x) A



V7)
( $ [mm] \lambda [/mm] $ + $ [mm] \mu [/mm] $ )( f  (x) )=
= [mm] ((\lambda [/mm] + [mm] \mu [/mm] ) * f ) (x) B
zu ( [mm] \lambda [/mm] f + [mm] \mu [/mm] f) (x) fehlt mir die begründung!( oder kann ich mit der Distributivität begründen?)
[mm] \lambda [/mm] f (x) + [mm] \mu [/mm] f (x) B und A

Bezug
                                                        
Bezug
Vektorraum-Abbildungen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:24 Fr 25.11.2011
Autor: sissile

Hei ;)
Noch wer da!? ;)

Bezug
                                                                
Bezug
Vektorraum-Abbildungen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 18:49 Fr 25.11.2011
Autor: angela.h.b.

Hallo,

nach [mm] 1\bruch{1}{2} [/mm] Std. schon zu quengeln, ist aber etwas übertrieben...

Gruß v. Angela


Bezug
                                                        
Bezug
Vektorraum-Abbildungen: Antwort
Status: (Antwort) fertig Status 
Datum: 18:48 Fr 25.11.2011
Autor: angela.h.b.

Hallo,

hier entwickelt sich ja manches erfreulich!

> Gut v8)
>  
> (1f) (x) =
>  1 f(x) B

(War das mit der Multiplikation nicht A?)

>  =f(x)   Vekktorraumaxiom->1v=v

Ja!

>  oder bezeichnet 1 eine konstante Einsfunktion?

Nein. Die 1 ist ein Skalar, das dürfte auch in der Def. der Multiplikation irgendwo stehen.

> ( 1(x) * f
> (x)= 1 f (x) ), aber die Mult von Funktionen..da hätten
> wir ja noch keine definition!)

Siehste!

>  
> V4 ) Kommutativität der addition
>  (f + g) (x) =
>  = f (x) + g (x)  A
>  = g (x) + f (x)  Nicht sicher ob dass das selbe
> Vektorraumaxiom der kommutativitäöt erklärt ;(

Vertauschen darfst Du, weil f(x) und g(x) beide aus V sind und weil V eine abelsche Gruppe bzgl der Addition ist.

>  (g + f) (x) A

Genau. (Ich hab' jetzt keine Lust zu gucken, ob es nicht eigentlich B war. Du meinst es jedenfalls richtig, und ich meine es auch richtig.)

>  
>
>
> V7)
>  ( [mm]\lambda[/mm] + [mm]\mu[/mm] )( f  (x) )=

Der Anfang ist nicht gut.

Zeigen willst Du [mm] (\lambda+\mu)f=\lambda [/mm] f + [mm] \mu [/mm] f.
Also muß füralle x gezeigt werden, daß [mm] ((\lambda+\mu)f)(x)=(\lambda [/mm] f + [mm] \mu [/mm] f)(x).

Es ist

[mm] ((\lambda+\mu)f)(x)=(\lambda+\mu)f(x) [/mm]  Def. A oder B
[mm] =\lambda f(x)+\mu [/mm] f(x)   Vektorraumaxiome
[mm] =(\lambda f)(x)+(\mu [/mm] f)(x)    A oder B
[mm] =(\lambda [/mm] f + [mm] \mu [/mm] f)(x).      B oder A

Gruß v. Angela

>  = [mm]((\lambda[/mm] + [mm]\mu[/mm] ) * f ) (x) B
>  zu ( [mm]\lambda[/mm] f + [mm]\mu[/mm] f) (x) fehlt mir die begründung!(
> oder kann ich mit der Distributivität begründen?)
>  [mm]\lambda[/mm] f (x) + [mm]\mu[/mm] f (x) B und A


Bezug
                                                                
Bezug
Vektorraum-Abbildungen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:34 Fr 25.11.2011
Autor: sissile

danke sehr nett!
Gut verstanden!

***

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


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