www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 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
Forum "Lineare Algebra Sonstiges" - Homomorphismus
Homomorphismus < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Homomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:42 Do 13.11.2008
Autor: Dash

Aufgabe
Zeigen Sie, dass die Abbildung von [mm] (\IR, [/mm] +) in [mm] (\IR>0, [/mm] x) mit x [mm] \to e^{x} [/mm] ein Homomorphismus ist.

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

Hallo, damit es ein Homomorphismus ist, müssen verschiedene Sachen gelten.

#1

[mm] (\IR, [/mm] +) und [mm] (\IR>0, [/mm] x) müssen jeweils eine Gruppe sein.

#2

Es ist genau dann ein Homomorphismus [mm] \gdw \alpha [/mm] (x [mm] \circ [/mm] y) = [mm] \alpha [/mm] (x) x [mm] \alpha [/mm] (y) [mm] \gdw \alpha [/mm] (x+y) = [mm] \alpha [/mm] (x) x [mm] \alpha [/mm] (y)

Der Beweis lautet dann:

[mm] \alpha [/mm] (x+y) = [mm] e^{x+y} [/mm]
[mm] \alpha [/mm] (x) x [mm] \alpha [/mm] (y) = [mm] e^{x} [/mm] x [mm] e^{y} [/mm] = [mm] e^{x+y} [/mm]


Mein Problem liegt bei #1. Ich weiß, dass eine Gruppe die Eigenschaften der Assoziativität, des inversen Elements und des neutralen Elements besitzen muss. Wie man das jedoch auf das dieses Beispiel beweist bzw. zeigt, weiß ich nicht. Dort wäre es nett, wenn ihr mir helfen würdet. #2 denke ich, ist richtig.

        
Bezug
Homomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 00:52 Do 13.11.2008
Autor: schachuzipus

Hallo Dash und [willkommenmr],

> Zeigen Sie, dass die Abbildung von [mm] $(\IR,+)\to(\IR^{>0},\cdot{})$ [/mm] mit [mm] $x\mapsto e^{x}$ [/mm] ein Homomorphismus ist.
>  Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
>  
> Hallo, damit es ein Homomorphismus ist, müssen verschiedene
> Sachen gelten.
>  
> #1
>
> [mm] $(\IR,+)$ [/mm] und [mm] $(\IR^{>0},\cdot{})$ [/mm] müssen jeweils eine Gruppe sein.
>  
> #2
>
> Es ist genau dann ein Homomorphismus [mm] $\gdw \alpha(x+y)=\alpha(x)\cdot{}\alpha(y)$ [/mm] [ok]

>  
> Der Beweis lautet dann:
>  
> [mm] $\alpha(x+y)=e^{x+y}$ [/mm]
> [mm] $\alpha(x)\cdot{}\alpha(y)=e^{x}\cdot{}e^{y}=e^{x+y}$ [/mm] [ok]

ganz genau!

>  
>
> Mein Problem liegt bei #1. Ich weiß, dass eine Gruppe die
> Eigenschaften der Assoziativität, des inversen Elements und
> des neutralen Elements besitzen muss. Wie man das jedoch
> auf das dieses Beispiel beweist bzw. zeigt, weiß ich nicht.
> Dort wäre es nett, wenn ihr mir helfen würdet. #2 denke
> ich, ist richtig.

Naja, [mm] $(\IR,+)$ [/mm] und [mm] $(\IR\setminus\{0\},\cdot{})$ [/mm] sind ja bekanntermaßen Gruppen, da brauchst du ja nur die Untergruppenkriterien für [mm] $(\IR^{>0},\cdot{})$ [/mm] zu zeigen, wenn überhaupt ;-)

Ich würde aber meinen, dass dein Beweis von (2) völlig ausreicht

LG

schachuzipus


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


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]