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
StartseiteMatheForenGruppe, Ring, KörperBeweise mit den Körperaxiomen
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Gruppe, Ring, Körper" - Beweise mit den Körperaxiomen
Beweise mit den Körperaxiomen < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweise mit den Körperaxiomen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:46 Mo 07.05.2007
Autor: Zerwas

Aufgabe
Seien [mm] x,y,z,a\in [/mm] K, K ein Körper. Zeigen sie mit den Körperaxiomen:
(1) [mm] (x^{-1})^{-1}=x [/mm]
(2) [mm] (x*y)^{-1}=x^{-1}*y^{-1} [/mm]
(3) (-1)*(-1)=1
(4) [mm] \bruch{x}{y}*(\bruch{z}{a})^{-1}=\bruch{a*x}{y*z} [/mm] für [mm] y,z,a\not= [/mm] 0

Ich bin mir hier extrem unsicher bzw. kann nich mit dem hoch -1 umgehn.
Zu(1):
Ich habe mir überlegt, dass man das vllt so zeigen kann:
[mm] (x^{-1})^{-1} [/mm] ist multiplikatives inverses zu [mm] x^{-1} [/mm] und dieses wiederum multiplikatives Inverses zu x. Auf Grund der eindeutigen Existenz des multiplikativen inversen ist dass Inverse zum Inversen eines Elements eines Körpers wieder das Element selbst und damit [mm] (x^{-1})^{-1}=x. [/mm]
Geht das so?

Zu (2):
Hier hänge ich, weil ich die Klammer hoch -1 nicht weg bekomme ... kann ich hier evtl auch wieder mit der Eindeutigkeit argumentieren? Wenn ja wäre ich über einen Anstoß dankbar.

Zu(3):
Hier habe ich mir überlegt dass man (-1) ja auch als [mm] (-\bruch{1}{1}) [/mm] und damit als [mm] (-1)^{-1} [/mm] schreiben kann und dann gilt:
[mm] (-1)*(-1)=(-1)*(-\bruch{1}{1})=(-1)*(-1)^{-1}=1, [/mm] da [mm] (-1)^{-1} [/mm] das multiplikative Inverse zu (-1) ist.
Kann ich das so machen oder beruht der Schritt von (-1) zu [mm] (-\bruch{1}{1}) [/mm] schon nicht mehr auf den Axiomen?

Zu(4)
Hier muss ich ja eigentlich nur zeigen, dass [mm] (\bruch{z}{a})^{-1}=(\bruch{a}{z}) [/mm] aber wie mache ich das? Ich habe hier wieder das gleiche Problem wie bei (2), dass ich die Klammer hoch -1 nicht wegbekomme.

Ich wäre dankbar wenn mir jmd bei (2) und (4) einen Anstoß geben könnte und mir sagen ob ich (1) und (3) richtig gelöst habe.

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

        
Bezug
Beweise mit den Körperaxiomen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:12 Mo 07.05.2007
Autor: felixf

Hallo Zerwas,

> Seien [mm]x,y,z,a\in[/mm] K, K ein Körper. Zeigen sie mit den
> Körperaxiomen:
>  (1) [mm](x^{-1})^{-1}=x[/mm]
>  (2) [mm](x*y)^{-1}=x^{-1}*y^{-1}[/mm]
>  (3) (-1)*(-1)=1
>  (4) [mm]\bruch{x}{y}*(\bruch{z}{a})^{-1}=\bruch{a*x}{y*z}[/mm] für
> [mm]y,z,a\not=[/mm] 0
>  Ich bin mir hier extrem unsicher bzw. kann nich mit dem
> hoch -1 umgehn.

>

>  Zu(1):
>  Ich habe mir überlegt, dass man das vllt so zeigen kann:
>  [mm](x^{-1})^{-1}[/mm] ist multiplikatives inverses zu [mm]x^{-1}[/mm] und
> dieses wiederum multiplikatives Inverses zu x. Auf Grund
> der eindeutigen Existenz des multiplikativen inversen ist
> dass Inverse zum Inversen eines Elements eines Körpers
> wieder das Element selbst und damit [mm](x^{-1})^{-1}=x.[/mm]
>  Geht das so?

ja.

> Zu (2):
>  Hier hänge ich, weil ich die Klammer hoch -1 nicht weg
> bekomme ... kann ich hier evtl auch wieder mit der
> Eindeutigkeit argumentieren? Wenn ja wäre ich über einen
> Anstoß dankbar.

Siehe meine Antwort zu deiner anderen Frage.

> Zu(3):
>  Hier habe ich mir überlegt dass man (-1) ja auch als
> [mm](-\bruch{1}{1})[/mm] und damit als [mm](-1)^{-1}[/mm] schreiben kann und
> dann gilt:
>  [mm](-1)*(-1)=(-1)*(-\bruch{1}{1})=(-1)*(-1)^{-1}=1,[/mm] da
> [mm](-1)^{-1}[/mm] das multiplikative Inverse zu (-1) ist.
>  Kann ich das so machen oder beruht der Schritt von (-1) zu
> [mm](-\bruch{1}{1})[/mm] schon nicht mehr auf den Axiomen?

Ist das nicht etwas kompliziert? Du kannst es ja genauso machen wie zuvor: $-1$ ist ja das eindeutige Element aus $K$ so, dass $1 + (-1) = 0$ ist, und ebenso ist $1$ das eindeutige Element aus $K$ so, dass $1 + (-1) = 0$ ist. Also musst du zeigen, dass $(-1) * (-1) + (-1) = 0$ ist. Und dazu kannst du benutzen, dass $(-1) = (-1) * 1$ ist, und das man Ausklammern kann (Distributivitaetsgesetz).

> Zu(4)
>  Hier muss ich ja eigentlich nur zeigen, dass
> [mm](\bruch{z}{a})^{-1}=(\bruch{a}{z})[/mm] aber wie mache ich das?
> Ich habe hier wieder das gleiche Problem wie bei (2), dass
> ich die Klammer hoch -1 nicht wegbekomme.

Hier solltest du auch erstmal [mm] $\frac{z}{a}$ [/mm] und [mm] $\frac{x}{y}$ [/mm] als $z [mm] a^{-1}$ [/mm] bzw. $x [mm] y^{-1}$ [/mm] umschreiben, etc. Und dann einfach die anderen schon gezeigten Sachen benutzen, das sollte nicht allzu schwer sein...

LG Felix


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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