www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

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

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Algebra" - Formale Laurentreihen
Formale Laurentreihen < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Formale Laurentreihen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:10 Mo 04.07.2011
Autor: Jorgi

Hallo,

mich würde interessieren, wie man zeigen kann, dass der Körper der formalen Laurentreihen vollständig ist (bezüglich der unten genannten diskreten Bewertung).

Also man betrachtet den Körper der formalen Laurentreihen über dem Körper $K$:
$K((t)) = [mm] \{ \sum_{n=l}^{\infty}a_n t^n : l \in \mathbb{Z}, a_n \in K, a_l \not= 0 \}$. [/mm]

Formale Laurentreihen werden nun diskret bewertet vermöge:
$ [mm] v(\sum_{n=l}^{\infty}a_n t^n) [/mm] = l$,
also der kleinste vorkommende Expontent von $t$.

Mir ist nicht klar, warum $(K((t)), v)$ vollständig ist. Weiss jemand Rat ?

        
Bezug
Formale Laurentreihen: Antwort
Status: (Antwort) fertig Status 
Datum: 23:21 Mo 04.07.2011
Autor: felixf

Moin!

> mich würde interessieren, wie man zeigen kann, dass der
> Körper der formalen Laurentreihen vollständig ist
> (bezüglich der unten genannten diskreten Bewertung).
>
> Also man betrachtet den Körper der formalen Laurentreihen
> über dem Körper [mm]K[/mm]:
>  [mm]K((t)) = \{ \sum_{n=l}^{\infty}a_n t^n : l \in \mathbb{Z}, a_n \in K, a_l \not= 0 \}[/mm].
>  
> Formale Laurentreihen werden nun diskret bewertet
> vermöge:
>  [mm]v(\sum_{n=l}^{\infty}a_n t^n) = l[/mm],
>  also der kleinste
> vorkommende Expontent von [mm]t[/mm].
>  
> Mir ist nicht klar, warum [mm](K((t)), v)[/mm] vollständig ist.
> Weiss jemand Rat ?

Versuch es doch mal zu beweisen :-)

Es ist wirklich nicht sehr schwer.

Anfangen tut man mit einer Cauchy-Folge [mm] $(\sum_{n=\ell_i}^\infty a_{n,i} t^n)_{i\in\IN}$. [/mm] Was genau bedeutet es, dass dies eine Cauchy-Folge ist?

Wie sieht eventuell der Grenzwert aus?

Oder erstmal was einfacheres: kann [mm] $\ell_i \to -\infty$ [/mm] gehen fuer $i [mm] \to \infty$? [/mm]

LG Felix


Bezug
                
Bezug
Formale Laurentreihen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:20 Di 05.07.2011
Autor: Jorgi

Für die Chauchy-Folge $ [mm] (\sum_{n=\ell_i}^\infty a_{n,i} t^n)_{i\in\IN} [/mm] $
ist die Menge der Startindizes [mm] $l_i$ [/mm] nach unten beschränkt, kann nicht beliebig klein werden.

Für einen Grenzwert $y = [mm] \sum_{n=\ell}^\infty a_{n} t^n [/mm] $ müsste gelten, dass möglichst viele Summanden übereinstimmen mit den Summanden der Folgeglieder (für große $i$). Wie ein solcher Grenzwert aussehen könnte ist mir irgendwie schleierhaft.


Bezug
                        
Bezug
Formale Laurentreihen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:50 Di 05.07.2011
Autor: felixf

Moin!

> Für die Chauchy-Folge [mm](\sum_{n=\ell_i}^\infty a_{n,i} t^n)_{i\in\IN}[/mm]
>  
> ist die Menge der Startindizes [mm]l_i[/mm] nach unten beschränkt,
> kann nicht beliebig klein werden.

Und warum ist sie das?

Wenn du das genau beantworten kannst, sollte es dir auch helfen die Fragestellung weiter zu untersuchen.

> Für einen Grenzwert [mm]y = \sum_{n=\ell}^\infty a_{n} t^n[/mm]
> müsste gelten, dass möglichst viele Summanden
> übereinstimmen mit den Summanden der Folgeglieder (für
> große [mm]i[/mm]). Wie ein solcher Grenzwert aussehen könnte ist
> mir irgendwie schleierhaft.

Schau dir fuer ein festes $n$ mal die Koeffizientenfolge [mm] $a_{n,i}$, [/mm] $i [mm] \in \IN$ [/mm] an. Kannst du etwas ueber diese sagen? (Du musst benutzen, dass die Potenzreihen eine Cauchy-Folge bilden!)

LG Felix


Bezug
                                
Bezug
Formale Laurentreihen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 01:38 Di 05.07.2011
Autor: Jorgi

Okey, ich habs ... danke ;)

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


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]