Matroids Matheplanet Forum Index
Moderiert von mire2 StrgAltEntf
Mathematik » Logik, Mengen & Beweistechnik » Abbildungen von Mengen
Autor
Universität/Hochschule J Abbildungen von Mengen
Claudia
Junior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 27.10.2002
Mitteilungen: 9
  Themenstart: 2002-11-02

Hallo! Ich komme wieder mal nicht weiter mit einem Beweis. Weiss jemand einen guten Tip? Die Aufgabe lautet: Es seien M, M', N, N' Mengen und f : M --> N eine Abbildung. Beweisen Sie die folgende Aussage: M' Ì M --> M' Ì f^(-1)(f(M'))            (f^(-1): f hoch minus 1) Liege ich richtig mit meiner Behauptung: f^(-1)(f(M')) = M' ? Somit wäre M' Ì M'. Doch wie beweise ich, dass f^(-1)f(M')) = M' ist? Danke Claudia


   Profil
matroid
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.03.2001
Mitteilungen: 14571
Wohnort: Solingen
  Beitrag No.1, eingetragen 2002-11-02

Hi Claudia, siehe Deine frühere Frage oder auch die heiße Diskussion hier. Es ist f-1 nicht die Umkehrfunktion, sondern die Urbildmenge. Darum ist "f -1(f(M')) = M' " im allgemeinen falsch. Gruß Matroid


   Profil
Claudia
Junior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 27.10.2002
Mitteilungen: 9
  Beitrag No.2, vom Themenstarter, eingetragen 2002-11-03

Hallo! Danke, dies habe ich nun verstanden. Doch wie muss ich den Beweis angehen? Genügt es, dies so zu zeigen? f(M') := {$ z Î M' ; f(z) = f(x)} Ì N f^(-1)(f(M')) := {x Î M ; f(x) Î f(M') } --> {x Î M : $ z Î M' ; f(x) = f(z)} --> M' Ì f^(-1)(f(M')) 


   Profil
matroid
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.03.2001
Mitteilungen: 14571
Wohnort: Solingen
  Beitrag No.3, eingetragen 2002-11-03

Hi Claudia, solche Beweise muß man elementweise geben. Sei M' Ì M. Zu zeigen: M' Ì f -1(f(M')). Beweis: Sei x aus M' (beliebig). Der Beweis ist erbracht, wenn du nachweist, daß x dann auch in f -1(f(M')) ist. (noch zu tun!) Da x ein beliebiges Element aus M' war, und keine weitere Besonderheit aufweist, gilt also für jedes Element aus M', daß es in f -1(f(M')) ist. Dann ist aber M' eine Teilmenge von f -1(f(M')). Gruß Matroid


   Profil
Claudia
Junior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 27.10.2002
Mitteilungen: 9
  Beitrag No.4, vom Themenstarter, eingetragen 2002-11-03

Hallo! Reicht also die Antwort Sei x Î M' beliebig --> f(x) Î f(M') --> f^(-1)(f(x)) Î f^(-1)(f(M')) --> M' Ì f^(-1)(f(M'))                                        als Beweis aus?


   Profil
matroid
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.03.2001
Mitteilungen: 14571
Wohnort: Solingen
  Beitrag No.5, eingetragen 2002-11-03

Nein, denn man sieht daran nicht, warum nun x Î f -1(f (M')) ist. Gruß Matroid


   Profil
Das Thema wurde von einem Senior oder Moderator abgehakt.
Claudia wird per Mail über neue Antworten informiert.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]