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 "Stochastik" - Indikatorfunktion
Indikatorfunktion < Stochastik < Oberstufe < Schule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Stochastik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Indikatorfunktion: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:23 Sa 29.11.2014
Autor: Alex1993

Heyho,
Ich habe eine Folge [mm] f_{n}(w):=f(w) [/mm] * Indikatorfunktion der Menge {1,..,n}
gegeben. Und f sei [mm] f:\IN->\IR+ [/mm]
Wir haben nun geschlussfolgert, dass [mm] f_{n}(w) \le f_{n+1}(w) [/mm] gilt. Und das das < nur für w=n+1 gilt und ansonsten Gleichheit herrscht.
An dieser Stelle frage ich mich allerdings, wieso. Es ist doch nirgendswo etwas von Monotonie angegeben und abgesehen davon fällt [mm] f_{n} [/mm] aufgrund der Indikatorfunktion ab w=n+1 auf 0.
Das mit der Gleichheit verstehe ich (hoffentlich?) und würde dies so begründen, dass für alle w [mm] \in \IN [/mm] der Funktionswert = dem Grenzwert ist.

seht ihr hier einen Zusammenhang?

LG

        
Bezug
Indikatorfunktion: Antwort
Status: (Antwort) fertig Status 
Datum: 16:56 Sa 29.11.2014
Autor: Marcel

Hallo,

> Heyho,
>  Ich habe eine Folge [mm]f_{n}(w):=f(w)[/mm] * Indikatorfunktion der
> Menge {1,..,n}
>  gegeben. Und f sei [mm]f:\IN->\IR+[/mm]

wie ist bei Euch [mm] $\IR_+$ [/mm] definiert: Ist $0 [mm] \in \IR_+$ [/mm] oder $0 [mm] \notin \IR_+$? [/mm] Vermutlich ist 0 nicht inklusive...

>  Wir haben nun geschlussfolgert, dass [mm]f_{n}(w) \le f_{n+1}(w)[/mm]
> gilt. Und das das < nur für w=n+1 gilt und ansonsten
> Gleichheit herrscht.

Es gilt also für ein $f [mm] \colon \IN \to \IR_+$, [/mm] dass für $n [mm] \in \IN$ [/mm] definiert wird

    [mm] $f_n:=f \cdot \mathds{1}_{\{1,...,n\}} \colon \IN \to \IR_+ \cup \{0\}$? [/mm]

>  An dieser Stelle frage ich mich allerdings, wieso. Es ist
> doch nirgendswo etwas von Monotonie angegeben und abgesehen
> davon fällt [mm]f_{n}[/mm]Eingabefehler: "\left" und "\right" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

Eingabefehler: "\left" und "\right" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
Eingabefehler: "\left" und "\right" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
Eingabefehler: "\left" und "\right" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

aufgrund der Indikatorfunktion ab w=n+1

> auf 0.

Nun: Es ist für $m \in \{1,...,n\}$ doch

    $f_n(m)=f(m)*\mathds{1}_{\{1,...,n\}}(m)=f(m)*1=f(m)$ (beachte $m \in \{1,...,n\}$)

und

    $f_{\red{n+1}}(m)=f(m)*\mathds{1}_{\{1,...,n.\red{n+1}\}}(m)=f(m)*1=f(m)\,$ (beachte $m \in \{1,...,n,\red{n+1}\}$).

Soweit klar?

Weiter gilt für (natürliches) $p > \red{n+1}$ (also $p \ge n+2$)

    $f_n(p)=f(p)*\mathds{1}_{\{1,...,n\}}(p)=f(p)*0=0$ (beachte $p \notin \{1,...,n\}$)

und

    $f_{\red{n+1}}(p)=f(p)*\mathds{1}_{\{1,...,n.\red{n+1}\}}(p)=f(p)*0=0$ (beachte $p \notin \{1,...,n+1\}$).

Nun gilt zudem

    $f_n(n+1)=f(n)*\mathds{1}_{\{1,...,n\}}(n+1)=f(n)*0=0\,,$

denn es ist $(n+1) \notin \{1,...,n\}$ (und damit $\mathds{1}_{\{1,...,n\}}(n+1)=0$), aber

    $f_{n+1}(n+1)=f(n+1)*\mathds{1}_{\{1,...,n,+1\}}(n+1)=f(n+1)*1=f(n+1) \in \IR_+\,,$

denn es ist $(n+1) \in \{1,...,n,n+1\}$ (und damit $\mathds{1}_{\{1,...,n,n+1\}}(n+1)=1$).

Fazit:

Für $w \in \{1,...,\blue{n}\}$ ist

    $f_n(w)=f(w)=f_{n+1}(w)\,.$

Für $w \notin \{1,...,n+1\}$ ist

    $f_n(w)=0=f_{n+1}(w)\,.$

Bis hierhin gilt also

    ($\*$) $\left.{f_n}\right|_{\{1,...,n\} \cup \{n+2,n+3,....\}}$ $\,=\,$ $\left.f_{\red{n+1}}\right|_{\{1,...,n\} \cup \{n+2,n+3,....\}}\,.$

Damit ist also insbesondere

    $\left.{f_n}\right|_{\{1,...,n\} \cup \{n+2,n+3,....\}}$ $\,\le\,$ $\left.f_{\red{n+1}}\right|_{\{1,...,n\} \cup \{n+2,n+3,....\}}\,.$

Weil nun aber

    $f_n(n+1)=0\,,$

während

    $f_{n+1}(n+1)=f(w) \in \IR_+$ (und wenn $0 \notin \IR_+\,,$ damit dann $f_{n+1}(n+1)=f(w) > 0$),

folgt

    $f_n \le f_{n+1}\,,$

und in der Tat gilt:

    $f_n(w)=f_{n+1}(w)$ für alle $w \in \IN \setminus\{n+1\}$
(das haben wir in $(\*)$ festgehalten, beachte: $\IN \setminus\{n+1\}=\{1,...,n\} \cup \{n+2,n+3,...\}$!)

und zudem

    $f_n(n+1)=0 < f(w)=f_{n+1}(n+1)\,.$

Gruß,
  Marcel

Bezug
                
Bezug
Indikatorfunktion: Super
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:30 Sa 29.11.2014
Autor: Alex1993

Danke! das hilft mir wirklich weiter
LG

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


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