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
StartseiteMatheForenMaßtheorieinvariantes maß
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Geschichte • Erdkunde • Sozialwissenschaften • Politik/Wirtschaft
Forum "Maßtheorie" - invariantes maß
invariantes maß < Maßtheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

invariantes maß: erklärung
Status: (Frage) überfällig Status 
Datum: 23:39 Mi 29.03.2006
Autor: xenomorph

Hallo!

Kann mir wer den Begriff "invariantes maß" informell erklären (Definitionen sind bekannt)?

Und zum besseren Verständnis: Woran sehe ich, dass unter der Abb.

[mm] x_{t+1}=2x_t [/mm] (mod 1)

das Lebesgue-Maß invariant ist?

Viele Dank schon mal!

Xenomorph

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
invariantes maß: Antwort
Status: (Antwort) fertig Status 
Datum: 07:58 Do 30.03.2006
Autor: mathiash

Hallo und guten Morgen,

invariant könnte hier heissen: invariant unter gewissen Abbildungen, zB ist sicher das Lebesgue-Mass aur [mm] \IR [/mm] invariant unter
der Abbildung

[mm] f\colon \IR\to\IR,\: x\mapsto [/mm] f(x)=x+1

D.h. ja nichts anderes als dass, wenn eine Teilmenge [mm] A\subseteq \IR [/mm] das Mass [mm] \mu(A) [/mm] hat, auch die Menge [mm] f(A)=\{f(x)|x\in A\} [/mm] das Mass [mm] \mu(A) [/mm] hat.

In Deinem Beispiel sollte  es dann  doch vermutlich das Lebesgue-Mass auf [0,1] oder so sein, richtig ?

Ich hab jetzt folgende Zweifel, ob das damit gemeint ist:

(1) Bei Deiner Notation kommt ein Parameter t vor, dass deutet auf stochastische Prozesse hin.
(2) Waere obiges gemeint, und würde deine Abb. einfach [mm] f\colon [0,1]\to [/mm] [0,1], [mm] x\mapsto 2x\:\: mod\: [/mm] 1
sein, so waere

[mm] \mu([\epsilon, 2\epsilon])=\epsilon, [/mm] aber

[mm] \mu([2\epsilon,4\epsilon])=2\epsilon [/mm]

Bei Markov-Ketten und allgemein stochastischen Prozessen spricht man von invarianter Verteilung und meint damit eine stationäre Verteilung.

Gruss,

Mathias





Bezug
                
Bezug
invariantes maß: Rückfrage
Status: (Frage) beantwortet Status 
Datum: 12:41 Do 30.03.2006
Autor: xenomorph

Erst einmal Danke für die schnelle Antwort!

Es handelt sich um eine Abb. $ [mm] f\colon [0,1]\to [/mm] $ [0,1].
Diese habe ich als ein einfaches Beispiel für chaotische Dynamik gefunden, da für eine irrationale Wahl von [mm] x_0 [/mm] ergodisches Verhalten auftritt.
Im Bronstein unter Kapitel 17.2.1.1 wird nun behauptet, aus der Definition der Abb.  sei ersichtlich, dass das Lebesgue-Maß invariant unter dieser Abb. sei. Aber wie Du schon geschrieben hast vergrößert sich ja ein betrachtetes Intervall unter der Abb. ( für x [mm] \le [/mm] 0,5). Wie ist diese Invarianz also zu verstehen?

Und inwiefern ist eine statistische Verteilung ein invariantes Maß?

Bezug
                        
Bezug
invariantes maß: Antwort
Status: (Antwort) fertig Status 
Datum: 13:46 Fr 31.03.2006
Autor: Stukkateur

Hallo Leute,

>  Im Bronstein unter Kapitel 17.2.1.1 wird nun behauptet,
> aus der Definition der Abb.  sei ersichtlich, dass das
> Lebesgue-Maß invariant unter dieser Abb. sei. Aber wie Du
> schon geschrieben hast vergrößert sich ja ein betrachtetes
> Intervall unter der Abb. ( für x [mm]\le[/mm] 0,5). Wie ist diese
> Invarianz also zu verstehen?

Ahem. Die Abb. ist ${x^'} = 2x (mod 1)$  --- das Intervall vergrößert sich also nicht!

Alles klar?

     fragt
         Stukkateur

Bezug
                                
Bezug
invariantes maß: Nachfrage
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:05 Fr 31.03.2006
Autor: mathiash

Hallo Stukkateur,

also wenn Du meine erste Antwort liest, merkst Du, dass das nicht der Einwand war und somit Deine Antwort mitnichten
die Situation klärt.

Hab mal geschaut: Fuer diskrete dynamische Systeme gibt es den Begriff des invarianten Maßes, da kann man nach googlen.
In den Vortragsfolien, die ich mir mal dazu ausgedruckt habe, kommt jedoch noch so ein [mm] \delta [/mm] vor, das nirgends dort definiert ist, deswegen
schreib ich auch jetzt noch nicht, wie die Def. ansonsten lautet.

Oder doch   ;-)   :

Wenn man allgemein eine Abb. [mm] x_{n+1}=f(x_n) [/mm] hat, dann wird in dort (ein Hauptseminar-Vortrag von einem Martin Winter)
das invariante Maß definiert als

[mm] \rho(x)=\lim_{N\to\infty}\frac{1}{N}\sum_{i=0}^{N-1}\delta[x-f^i(x_0)] [/mm]

Falls ich noch etwas finde, meld ich mich. Stukkateur: Kennst Du diese def., und kannst Du bitte noch etwas dazu schreiben ?

Gruss,

Mathias

Bezug
                                        
Bezug
invariantes maß: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:41 Fr 31.03.2006
Autor: Stukkateur

Hallo MathiasH,

> Hallo Stukkateur,
>  
> also wenn Du meine erste Antwort liest, merkst Du, dass das
> nicht der Einwand war und somit Deine Antwort mitnichten
>  die Situation klärt.

Das habe ich fast befürchtet, aber leider war mein Finger auf dem Send-Knopf schneller. :-(

>  [...]
> Wenn man allgemein eine Abb. [mm]x_{n+1}=f(x_n)[/mm] hat, dann wird
> in dort (ein Hauptseminar-Vortrag von einem Martin Winter)
> das invariante Maß definiert als
>  
> [mm]\rho(x)=\lim_{N\to\infty}\frac{1}{N}\sum_{i=0}^{N-1}\delta[x-f^i(x_0)][/mm]
>  
> Falls ich noch etwas finde, meld ich mich. Stukkateur:
> Kennst Du diese def., und kannst Du bitte noch etwas dazu
> schreiben ?

Ich kenne sie nicht, bzw vielleicht sollte ich das, und habe sie verdrängt. Aber wenn das [mm] $\delta$ [/mm] nicht anders definiert ist, gehe ich davon aus, das folgendes gemeint ist:

1. $ [mm] \forall [/mm] {x [mm] \in \IR, [/mm] x [mm] \not= [/mm] 0} : [mm] \delta(x) [/mm] = 0 $
2. $ [mm] \forall [/mm] {a,b [mm] \in \IR, [/mm] a <0, b> 0} : [mm] \integral_{a}^{b}{\delta(x) dx} [/mm] = 1$

Hilft das weiter?

    frag sich
       Stukkateur

Bezug
        
Bezug
invariantes maß: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 00:20 Fr 14.04.2006
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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