www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-Analysis-SonstigesEine Dualität
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Uni-Analysis-Sonstiges" - Eine Dualität
Eine Dualität < Sonstiges < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Eine Dualität: Aufgabe 16 - bin verzweifelt
Status: (Frage) beantwortet Status 
Datum: 13:11 So 14.11.2004
Autor: SystemLordAnubis

Hallo,

bin derzeit bißchen schusselig, daher brauch ich dringend eine aussagekräftige hilfe bei der fo0lgenden Aufgabe:

Eine Dualität
Ist M eine Menge, so bezeichne P(M) die Menge der Teilmengen von M. Sei f: M [mm] \to [/mm] N eine Abbildung. Für jede Teilmenge B von N ist dann das Urbild [mm] $\{m\in M | f(m)\in B\}$ [/mm] eine Teilmenge von M. Das definiert eine Abbildung
P(f) : P(n) [mm] \to [/mm] P(M). Genau dann ist f injektiv, wenn P(f) surjektiv ist. Genau dann ist f surjektiv wenn P(f) injektiv ist.

Bitte um einige ausführliche Hilfen.
Danke im Vorraus.

PS: hatte angedacht mit Hilfe der Potenzreihen gesetze vorzugehn, aber das funktionierte nicht.

        
Bezug
Eine Dualität: Frage
Status: (Frage) beantwortet Status 
Datum: 13:26 So 14.11.2004
Autor: cheetah_83

verzweifel auch an der Aufgabe, allerdings versteh ich überhaupt nicht was du da mit potenzreihen machen willst, hat doch null damit zu tun oder seh ich da jetzt was völlig falsch

Bezug
                
Bezug
Eine Dualität: Feststellung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:50 So 14.11.2004
Autor: SystemLordAnubis

das weiß ich  nu auch, aber irgendwer gab mir gestern, vorgestern meinich nach der vorlesung den tipp. und ich versuchte es, aber naja war fehlschlag, brauch dahingehend dringend hilfe.

PS@cheetah hast du die 14 von dem aufgabenzettel, btw. fragen tu?

Bezug
                        
Bezug
Eine Dualität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:38 So 14.11.2004
Autor: cheetah_83

bei der 14 hab ich wenigstens etwas mit quotientenkriterium, aber auch nix vernünftiges ausser ner langen ungleichung

aber bei der 16 hier weiss ich gar nix

Bezug
                                
Bezug
Eine Dualität: aufgabe 14
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:11 So 14.11.2004
Autor: Analysis-N00b

du weißt wie das geht? dan poste mal diene löösung in meiner frage cheetah, bitte

Bezug
        
Bezug
Eine Dualität: Antwort
Status: (Antwort) fertig Status 
Datum: 04:18 Mo 15.11.2004
Autor: Marc

Hallo zusammen,


> bin derzeit bißchen schusselig, daher brauch ich dringend
> eine aussagekräftige hilfe bei der fo0lgenden Aufgabe:
>  
> Eine Dualität
>  Ist M eine Menge, so bezeichne P(M) die Menge der
> Teilmengen von M. Sei f: M [mm]\to[/mm] N eine Abbildung. Für jede
> Teilmenge B von N ist dann das Urbild [mm]\{m\in M | f(m)\in B\}[/mm]
> eine Teilmenge von M. Das definiert eine Abbildung
> P(f) : P(n) [mm]\to[/mm] P(M). Genau dann ist f injektiv, wenn P(f)
> surjektiv ist. Genau dann ist f surjektiv wenn P(f)
> injektiv ist.

Wir haben hier zwei "genau dann wenn"-Aussagen, also sind vier Folgerichtungen/Einzelbeweise zu führen.
Ich führe mal die erste Richtung vor, die restlichen Implikationen dürften vergleichbar sein.

$f: [mm] M\to [/mm] N$

$P(f): [mm] \mathcal{P}(N)\to \mathcal{P}(M)$ [/mm] mit [mm] $B\mapsto \{m\in M\ |\ f(m)\in B\}$ [/mm]


Voraussetzung: f injektiv
Behauptung: P(f) surjektiv
Beweis: Sei [mm] $A\in \mathcal{P}(M)$ [/mm] (A ist also ein Element des MBZielbereichs von P(f).
Zu zeigen ist, dass ein [mm] $B\in \mathcal{P}(N)$ [/mm] existiert, so dass [mm] $A=\{m\in M\ |\ f(m)\in B\}$ [/mm]
Naheliegend ist doch, $B:=f(A)$ zu wählen, ich zeige jetzt, dass dieses B tatsächlich durch die Abbildung $P(f)$ auf A abgebildet wird, dass also gilt:
[mm] $A=\{m\in M\ |\ f(m)\in f(A)\}$ [/mm]
Diese Mengengleichung besteht aus zwei Inklusionen:
[mm] "$\subseteq$": [/mm] Sei [mm] $a\in [/mm] A$ [mm] $\Rightarrow$ $f(a)\in [/mm] f(A)$ (hier gab es fast nichts zu zeigen)
[mm] "$\supseteq$": [/mm] Sei [mm] $a\in \{m\in M\ |\ f(m)\in f(A)\}$ [/mm]
Diese Inklusion ist schon interessanter:
[mm] $\Rightarrow$ $f(a)\in [/mm] f(A)$ [mm] $\Rightarrow$ [/mm] Es existiert [mm] $a_2\in [/mm] A$ mit [mm] $f(a)=f(a_2)$ $\Rightarrow$ [/mm] (f injektiv) [mm] $a=a_2$ $\Rightarrow$ $a\in [/mm] A$.

Das war's auch schon, ich habe gezeigt, dass B:=f(A) ein Urbild von A unter der Abbildung P(f) ist, dass P(f) also surjektiv ist.

Probier' die anderen Implikationen nun selbst und schreibe uns die Ergebnisse zu Kontrolle. Oder stelle weitere Fragen :-)

> PS: hatte angedacht mit Hilfe der Potenzreihen gesetze
> vorzugehn, aber das funktionierte nicht.

Kommst du deswegen darauf, weil in der der Aufgabe von Potenzmengen die Rede ist? Das hat mit Potenzreihen tatsächlich nichts zu tun :-)

Viele Grüße,
Marc

Bezug
        
Bezug
Eine Dualität: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 17:01 Fr 14.11.2008
Autor: Schiman

Hallo, es tut mir leid, dass ich nochmal diese Forenleiche ausgrabe ;), aber ich habe eine weitere Frage zu dem Thema. Leider ist hier ja die Diskussion abgebrochen.

Den Beweis von Marc habe ich verstanden und auch nachvollziehen können. Nun muss ich einen Beweis führen, der genau umgekehrt ist (nicht die andere Richtung).

Und zwar soll ich beweisen: Wenn f surjektiv, dann ist P(f) injektiv.

Natürlich möchte ich nicht unbedingt, dass mir einfach die Lösung präsentiert wird :). Es wäre nett, wenn mir jemand ein paar Denkanstöße geben könnte.

Bezug
                
Bezug
Eine Dualität: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:28 Mi 19.11.2008
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]