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 "Logik" - relation
relation < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Logik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

relation: Aufgabe 1
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 00:45 Fr 12.01.2007
Autor: NatiSt

Aufgabe
Begrunden Sie, dass jede Relation, die irreflexiv und transitiv ist, auch antisymmetrisch ist.
Hinweis: indirekt vorgehen!  

wie kann man diese Aussage beweisen?
Das ist eigentlich eine strenge Ordnungsrelation, ........hm

        
Bezug
relation: Korrektur
Status: (Frage) beantwortet Status 
Datum: 00:58 Fr 12.01.2007
Autor: NatiSt

Aufgabe
Begrunden Sie, dass jede Relation, die irreflexiv und transitiv ist, auch antisymmetrisch ist .
Hinweis: indirekt vorgehen!  


Idee:Wenn eine Realation irreflexiv und transitiv ist, dann  ist sie auch symmetrisch .Danach zeigen , dass es nicht stimmt.


Ist das ein richtiger Widerspruch?:wenn ja wie  schreibt man das korrekt auf?

Bezug
                
Bezug
relation: Antwort
Status: (Antwort) fertig Status 
Datum: 08:11 Fr 12.01.2007
Autor: angela.h.b.


> Begrunden Sie, dass jede Relation, die irreflexiv und
> transitiv ist, auch antisymmetrisch ist .
> Hinweis: indirekt vorgehen!
>
> Idee:Wenn eine Realation irreflexiv und transitiv ist, dann
>  ist sie auch symmetrisch .

Hallo,

ich sehe das nicht!

Mit einem ganz normalen Widerspruch geht es recht schnell:
Die Relation [mm] \sim [/mm] sei irreflexiv und transitiv .
Nimm an, daß sie nicht antisymmetrisch ist.

Seien nun [mm] a\sim [/mm] b und b [mm] \sim [/mm] a
==> ???

Gruß v. Angela





Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Logik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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