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 "Analysis-Sonstiges" - Geordneter Körper Beweis
Geordneter Körper Beweis < Sonstiges < Analysis < Oberstufe < Schule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Geordneter Körper Beweis: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:41 Mi 08.08.2012
Autor: Axiom96

Aufgabe
Es seien $x, y$ Elemente eines geordneten Körpers. Man beweise:
Es gilt [mm]x

Hallo,

und Verzeihung, dass ich schon wieder Hilfe benötige, aber zum Thema Körper ist es das letzt mal, denn alle anderen Aufgaben habe ich gelöst.

Es wäre also nett, wenn mir nochmal jemand einen kleinen Anstoß liefern könnte.

Vielen Dank dafür.

        
Bezug
Geordneter Körper Beweis: Antwort
Status: (Antwort) fertig Status 
Datum: 15:48 Mi 08.08.2012
Autor: M.Rex

Hallo

Es gilt doch:

[mm] y^{3}=y\cdot y\cdot y=y\cdot(y\cdot y)>x\cdot(y\cdot y)=x\cdot y\cdot y=(x\cdot y)\cdot y>(x\cdot y)\cdot x=(x\cdot x)\cdot y>(x\cdot x)\cdot x=x^{3} [/mm]

Marius


Bezug
                
Bezug
Geordneter Körper Beweis: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:16 Mi 08.08.2012
Autor: Axiom96


> Hallo
>  
> Es gilt doch:
>  
> [mm]y^{3}=y\cdot y\cdot y=y\cdot(y\cdot y)>x\cdot(y\cdot y)=x\cdot y\cdot y=(x\cdot y)\cdot y>(x\cdot y)\cdot x=(x\cdot x)\cdot y>(x\cdot x)\cdot x=x^{3}[/mm]
>  
> Marius
>  

Der Schritt $(x*y)*y>(x*y)*x$ ist mir unklar. Ich habe den Satz: Seien $x,y,z$ Elemente eines geordneten Körpers. Aus $x<y$ und $z<0$ folgt dann: $x*z>y*z$ . Aus $x<0<y$ folgt ja $x<y$, $x<0<y$ erfüllt also die Vorraussetzung des zu beweisenden Satzes. Daraus folgt aber auch $x*y<0$. Wenn ich jetzt $z=x*y$ setze, erhalte ich: Aus $x<y$ und $x*y<0$ folgt: $x*(x*y)>y*(x*y)$. So kann es also eigentlich nicht funktionieren.

LG

Bezug
                        
Bezug
Geordneter Körper Beweis: Antwort
Status: (Antwort) fertig Status 
Datum: 23:51 Mi 08.08.2012
Autor: teo

Hallo, Marius wendet hier doch einfach nur die Gesetze an, die in einem Körper gelten:
>  >  
> > [mm]y^{3}=y\cdot y\cdot y=y\cdot(y\cdot y) >x\cdot(y\cdot y) [/mm] (Voraussetzung) [mm]=x\cdot y\cdot y=(x\cdot y)\cdot y[/mm] (Assoziativgesetz) [mm]>(x\cdot y)\cdot x [/mm] (Vor.)[mm] =(x\cdot x)\cdot y [/mm] (Kommutativgesetz) [mm] >(x\cdot x)\cdot x=x^{3}[/mm]
> >  

> > Marius
>  >  
> Der Schritt [mm](x*y)*y>(x*y)*x[/mm] ist mir unklar. Ich habe den
> Satz: Seien [mm]x,y,z[/mm] Elemente eines geordneten Körpers. Aus
> [mm]xy*z[/mm] . Aus [mm]x<0
> [mm]x<0
> Satzes. Daraus folgt aber auch [mm]x*y<0[/mm]. Wenn ich jetzt [mm]z=x*y[/mm]
> setze, erhalte ich: Aus [mm]x
> [mm]x*(x*y)>y*(x*y)[/mm]. So kann es also eigentlich nicht
> funktionieren.
>  
> LG

Was ist wenn bei deiner Argumentation x<y<0 gilt? Also wahrscheinlich muss man eine Fallunterscheidung machen. Eben x<y<0; x<0<y und 0<x<y. Kann mich aber auch täuschen, ich lasse die Frage mal halb beatwortet.

Grüße

Grüße

Bezug
                                
Bezug
Geordneter Körper Beweis: Lösung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:00 Do 09.08.2012
Autor: Axiom96

Hallo teo, du hast Recht, mit Fallunterscheidung sollte es gehen.

Ich unterscheide drei Fälle: [mm] 1.$0\le [/mm] x<y$, [mm] 2.$x<0\le [/mm] y$, 3.$x<y<0$. So sollten eigentlich alle möglichen Fälle für x<y erfasst sein. Dann folgt:
1. [mm] $x^3=x*x*x=(x*x)*x\le (x*x)*y=x*(x*y)\le y*(x*y)=y*x*y=y*y*x=(y*y)*x<(y*y)*y=y*y*y=y^3$ [/mm]
2. [mm] $x^3=x*x*x=x*(x*x)=x*x^2<0\le y*y^2=y*(y*y)=y*y*y=y^3$ [/mm]
[mm] 3.$x-y^3 \gdw y^3-x^3>0 \gdw y^3>x^3$ [/mm]

Vielen Dank für den Hinweis mit der Fallunterscheidung, so sollte es ja jetzt bewiesen sein.
LG

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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