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 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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-AnalysisBeweis durch Axiome
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Uni-Analysis" - Beweis durch Axiome
Beweis durch Axiome < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweis durch Axiome: Beweis durch Axiome..
Status: (Frage) beantwortet Status 
Datum: 19:09 Sa 17.10.2009
Autor: Druss

Hallo an alle!
Also ich habe eine Übungsaufgabe, die ich aber von Grund an nicht verstehe und bitte um Hilfe!!

Aufgabe  2.
F¨ur n  ∈  {0, 1, 2, 3, 4, 5, 6} bezeichne  ¯n die Menge der nat¨urlichen Zahlen,
die bei Division durch 7 den Rest n lassen, also etwa
¯3 = {3, 10, 17, 24, 31, 38 . . .}. Be-
zeichne  K  :=  {¯0, ¯1, ¯2, ¯3, ¯4, ¯5, ¯6}.  Zu  ¯n, ¯m  ∈  K  existiert  eine  eindeutig  bestimmte  Zahl
k ∈ {0, 1, 2, 3, 4, 5, 6} mit n + m ∈ ¯k. Wir definieren ¯n + ¯m := ¯k. Analog sei ¯n · ¯m definiert
durch ¯n · ¯m := ¯', falls n · m ∈ ¯'. Zeigen Sie, dass K mit den so definierten Verkn¨upfungen
+ und · die K¨orperaxiome (1.1)–(1.9) (mit K anstelle von R) erf¨ullt. (Das Rechnen mit
ganzen Zahlen sei in dieser Aufgabe als bekannt vorausgesetzt.)

...

        
Bezug
Beweis durch Axiome: Antwort
Status: (Antwort) fertig Status 
Datum: 19:42 Sa 17.10.2009
Autor: Al-Chwarizmi


> Hallo an alle!
>  Also ich habe eine Übungsaufgabe, die ich aber von Grund
> an nicht verstehe und bitte um Hilfe!!
>  
> Aufgabe  2.
>   F¨ur n  ∈  {0, 1, 2, 3, 4, 5, 6} bezeichne  ¯n die
> Menge der nat¨urlichen Zahlen,
>  die bei Division durch 7 den Rest n lassen, also etwa
>  ¯3 = {3, 10, 17, 24, 31, 38 . . .}. Be-
>  zeichne  K  :=  {¯0, ¯1, ¯2, ¯3, ¯4, ¯5, ¯6}.  Zu  
> ¯n, ¯m  ∈  K  existiert  eine  eindeutig  bestimmte  
> Zahl
>  k ∈ {0, 1, 2, 3, 4, 5, 6} mit n + m ∈ ¯k. Wir
> definieren ¯n + ¯m := ¯k. Analog sei ¯n · ¯m
> definiert
>  durch ¯n · ¯m := ¯', falls n · m ∈ ¯'. Zeigen Sie,
> dass K mit den so definierten Verkn¨upfungen
>  + und · die K¨orperaxiome (1.1)–(1.9) (mit K anstelle
> von R) erf¨ullt. (Das Rechnen mit
>  ganzen Zahlen sei in dieser Aufgabe als bekannt
> vorausgesetzt.)
>  
> ...


Hallo Felix,

das ganze ist möglicherweise ein wenig umständlich
formuliert. Eigentlich geht es nur darum, nachzuweisen,
dass die Menge [mm] \{0,1,2,3,4,5,6\} [/mm] einen Körper bildet,
wenn man die Addition und die Multiplikation modulo 7
reduziert betrachtet.
Bei der Addition gilt dann zum Beispiel:

       3+5 = 8 mod 7 = 1
       6+4 = 10 mod 7 = 3

Bei der Multiplikation:

       3*5 = 15 mod 7 = 1
       6*4 = 24 mod 7 = 3
       5*6 = 30 mod 7 = 2

Du kannst eine vollständige Additionstabelle und eine
vollständige Multiplikationstabelle aufstellen und daran
dann die Körperaxiome überprüfen.

LG     Al-Chw.


Bezug
                
Bezug
Beweis durch Axiome: beweis..
Status: (Frage) beantwortet Status 
Datum: 15:06 So 18.10.2009
Autor: Druss

hi, danke, jetzt wirds mir etwas klarer, aber wie stell ich dazu den beweis denn her? das ist mir noch unklar

Bezug
                        
Bezug
Beweis durch Axiome: Antwort
Status: (Antwort) fertig Status 
Datum: 15:31 So 18.10.2009
Autor: Al-Chwarizmi


> hi, danke, jetzt wirds mir etwas klarer, aber wie stell ich
> dazu den beweis denn her? das ist mir noch unklar


Hallo Druss,

nimm dir die komplette Liste der Körperaxiome vor,
entweder aus deinem Skript oder etwa von da:
          []Körperaxiome
und gehe sie schrittweise durch. Für die Assoziati-
vität und Kommutativität beider Operationen und
für die Distributivität kann man sich leicht
klar machen, dass sie sich vom Rechnen in [mm] \IZ [/mm]
auf das Rechnen modulo 7 übertragen. Die Eigen-
schaften der Null und des additiven Inversen lassen
sich ebenfalls leicht bestätigen.
Auch die Eigenschaft der Eins:  1*a=a überträgt
sich vom "gewöhnlichen" Rechnen ins Modulo-Rechnen.
"Neu" gegenüber dem Rechnen in [mm] \IZ [/mm] ist eigentlich
nur die Division bzw. die Existenz (und Eindeutigkeit)
der multiplikativen Inversen. Im Fall n=7 kann man
sich davon anhand der Multiplikationstabelle über-
zeugen. Im Fall n=6 würde dies hingegen nicht funk-
tionieren.

LG



Bezug
                                
Bezug
Beweis durch Axiome: hm
Status: (Frage) beantwortet Status 
Datum: 16:04 So 18.10.2009
Autor: Druss

hm für welche variablen muss ich das durchgehen?
n, m und noch?
kannst du mir die ersten 2 oder 3 axiome mal zeigen, damit ich sehe wie das geht?
gruß

Bezug
                                        
Bezug
Beweis durch Axiome: los!
Status: (Antwort) fertig Status 
Datum: 09:25 Mo 19.10.2009
Autor: angela.h.b.


> hm für welche variablen muss ich das durchgehen?
>  n, m und noch?

Hallo,

wie Du die variablen nennst, ist doch völlig schnuppe.

Fürs Assoziativgesetz brauchst Du natürlich 3 Stück davon.
Nenn sie halt [mm] \overline{a}, \overline{b}, \overline{c}. [/mm]

Am besten schaust Du Dir nochmal die definition der Addition an. mach Dir klar, daß [mm] \overline{n}+\overline{m}:=\overline{n+m} [/mm] gilt.
Damit ist dann ist schonmal viel gewonnen.

Beispiele: [mm] \overline{6}+ \overline{4}=\overline{6+4}=\overline{3}, \overline{1}+\overline{6}=\overline{7}=\overline{0}. [/mm]


Die Wertetabellen für + und [mm] \* [/mm] hast du bereits aufgestellt? Du wirst sie später gebrauchen können.


Fürs Assoziativgesetz ist zu zeigen:

[mm] (\overline{a}+\overline{b})+ \overline{c}=\overline{a}+(\overline{b}+\overline{c}) [/mm]    f.a. [mm] \overline{a}, \overline{b}, \overline{c} \in [/mm] K.

Jetzt rechne los:

[mm] (\overline{a}+\overline{b})+ \overline{c}=\overline{a+b} +\overline{c}= [/mm] ...    

[mm] \overline{a}+(\overline{b}+\overline{c})=\overline{a}+\overline{b+c} [/mm] =...

(jeden Schritt begründen und darauf zusteuern, daß am Ende beide Male dasselbe dasteht.)


Kommutativgesetz entsprechend. Du kannst Dir zusätzlich auch überlegen, wie man das in der Tabelle erkennen kann.


Neutrales Element: na, welches ist wohl das neutrale Element bzgl. +?  Ja wohl [mm] \overline{0}, [/mm] oder?
Rechne vor, daß für alle [mm] \overline{a}\in [/mm] K gilt:  [mm] \overline{a}+\overline{0}=\overline{a}. [/mm]

Inverses Element: hat jedes Element ein Inverses bzgl +?
Du kannst es Dir hier sehr einfach machen, weil die Menge so übersichtlich ist: gib einfach zu jedem Element das Inverse an.


Danach dann noch die Multiplikation - aber jetzt bist erstmal Du dran.

Gruß v. Angela

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


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