Forum:  Folgen und Reihen
Thema: Identitäten von Potenzreihen
Themen-Übersicht
xiao_shi_tou_
Senior
Dabei seit: 12.08.2014
Mitteilungen: 745
Aus: Bonn
Themenstart: 2018-11-09 01:48
\(\begingroup\)\(\DeclareMathOperator{\Aut}{Aut} \newcommand{\tfae}{\textbf{T.F.A.E.}} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\log}{log} \newcommand{\ndownlong}[2]{#1\ -\!\!\!\rightharpoonup\!\leftharpoondown\!\to\! #2} \newcommand{\shso}{\udl{\text{Sheaves on}}} \DeclareMathOperator{\coker}{coker} \newcommand{\shs}{\udl{\text{Sheaves}}} \newcommand{\GG}{\c{G}} \newcommand{\ush}[1]{\udl{\text{Sheaf}}(#1)} \newcommand{\sh}{\udl{\text{Sheaf}}} \DeclareMathOperator{\Ob}{Ob} \DeclareMathOperator{\Emb}{Emb} \newcommand{\rr}{/\!\!/} \DeclareMathOperator{\Tr}{Tr} \newcommand{\proof}{\udl{\mathscr{P}\mathscr{r}\mathscr{o}\mathscr{o}\mathscr{f}:}} \newcommand{\defeq}{\overset{\mathscr{D}\mathscr{e}\mathscr{f}.}{=\!=}} \newcommand{\set}[2]{\{#1\mid #2\}} \newcommand{\SS}{\mathscr{S}} \DeclareMathOperator{\scale}{scale} \newcommand{\noem}{\not=\emptyset} \newcommand{\DD}{\c{D}} \newcommand{\BB}{\c{B}} \newcommand{\Pr}{\ff{P}} \newcommand{\qed}{\ff{Q}.\ff{E}.\ff{D}.} \renewcommand{\wt}[1]{\widetilde{#1}} \DeclareMathOperator{\Sper}{Sper} \newcommand{\spr}[1]{\Sper(#1)} \newcommand{\nuplong}[2]{#1\ -\!\!\!\rightharpoondown\!\leftharpoonup\!\to\! #2} \newcommand{\ndownloong}[2]{#1 -\!\!\!-\!\!\!\rightharpoonup\!\leftharpoondown\!\!\!\longrightarrow \!#2 } \newcommand{\bop}{\bigoplus} \DeclareMathOperator{\vol}{vol} \DeclareMathOperator{\Cl}{Cl} \newcommand{\eps}{\epsilon} \DeclareMathOperator{\lcm}{lcm} \renewcommand{\K}{\mathbb{K}} \newcommand{\ip}{\langle -,- \rangle} \DeclareMathOperator{\Tr}{Tr} \newcommand{\ipr}[2]{\langle #1,#2 \rangle} \newcommand{\vth}{\vartheta} \DeclareMathOperator{\ord}{ord} \newcommand{\pprod}{\prod_{v\in\ff{M}_\K}} \newcommand{\pfam}[1]{(#1)_{v\in\mathfrak{M}_\K}} \newcommand{\finfam}[1]{(#1)_{i=1}^n} \newcommand{\fam}[1]{(#1)_{i\in I}} \newcommand{\jfam}[1]{(#1)_{j\in J}} \newcommand{\kfam}[1]{(#1)_{k\in K}} \newcommand{\nfam}[1]{(#1)_{n\in \N}} \newcommand{\udl}[1]{\underline{#1}} \DeclareMathOperator{\End}{End} \newcommand{\Uij}{U_i\cap U_j} \newcommand{\vpi}{\varphi_i} \newcommand{\vpj}{\varphi_j} \newcommand{\psij}{\psi_{i,j}} \newcommand{\CC}{\c{C}} \newcommand{\nsum}{\sum_{n\in\N}} \DeclareMathOperator{\supp}{\supp} \DeclareMathOperator{\vol}{vol} \newcommand{\vpj}{\varphi_j} \newcommand{\twist}[1]{\c{O}_{\mathbb{P}_k^n}(#1)} \DeclareMathOperator{\rad}{rad} \DeclareMathOperator{\char}{char} \DeclareMathOperator{\Proj}{Proj} \newcommand{\prj}[1]{\Proj (#1)} \newcommand{\part}[2]{\frac{\partial #1}{\partial #2}} \DeclareMathOperator{\length}{length} \DeclareMathOperator{\locArt}{locArt} \DeclareMathOperator{\Ass}{Ass} \newcommand{\kxn}{k[x_0,\pts,x_n]} \DeclareMathOperator{\Supp}{Supp} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\Ass}{Ass} \DeclareMathOperator{\im}{im} \newcommand{\ka}{\kappa} \newcommand{\pr}{\mathfrak{p}} \newcommand{\abs}[1]{\left| #1\right|} \newcommand{\ab}{\left|-\right|} \newcommand{\eps}{\epsilon} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Spec}{Spec} \newcommand{\N}{\mathbb{N}} \newcommand{\units}[1]{(\Zx{#1})^\times} \newcommand{\KX}{K[X]} \newcommand{\cov}{\c{U}} \newcommand{\ff}[1]{\mathfrak{#1}} \newcommand{\legendre}[2]{\left(\frac{#1}{#2}\right)} \newcommand{\ANF}{K/\Q} \newcommand{\GFF}{F/{\F_p(t)}} \newcommand{\Os}{\mathcal{O}_{S,s}} \newcommand{\lineb}{\c{L}} \newcommand{\cyclm}{\Q(\sqrt[m]{1})} \newcommand{\cyclmK}{K(\sqrt[m]{1})} \newcommand{\clKX}{\overline{K}[X]} \newcommand{\LX}{L[X]} \newcommand{\gfib}[2]{#1_{\cl{#2}}} \newcommand{\OS}{\mathcal{O}_S} \newcommand{\bb}[1]{\textbf{#1}} \newcommand{\OY}{\mathcal{O}_Y} \newcommand{\glX}{\Gamma(X,\mathcal{O}_X)} \newcommand{\glY}{\Gamma(Y,\mathcal{O}_Y)} \newcommand{\finKX}{f\in K[X]} \newcommand{\ser}[1]{\sm{n=0}{\infty}{#1}} \newcommand{\sm}[3]{\underset{#1}{\overset{#2}{\sum}} #3} \newcommand{\cl}[1]{\overline{#1}} \newcommand{\sube}{\subseteq} \newcommand{\prou}{\text{ primitive }m \text{-th root of unity }} \newcommand{\hk}{\hookrightarrow} \newcommand{\OYy}{\mathcal{O}_{Y,y}} \newcommand{\supe}{\supseteq} \newcommand{\resy}{\kappa(y)} \newcommand{\LK}{L/K} \newcommand{\iso}{\overset{\sim}{\to}} \newcommand{\kn}{k^n} \newcommand{\kvec}{\textbf{vect}(k)} \newcommand{\fkvec}{\textbf{vect}_{<\infty}(k)} \newcommand{\fz}{f(X)=0} \newcommand{\KIsom}{L\underset{K}{\overset{\sim}{\to}} L} \newcommand{\simple}{\text{Let }K'=K(\alpha)\text{ be a simple extension of  }K \text{ with minimal polynomial }\finKX} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\L}{\mathbb{L}} \newcommand{\C}{\mathbb{C}} \newcommand{\F}{\mathbb{F}} \newcommand{\A}{\mathbb{A}} \newcommand{\P}{\mathbb{P}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Zp}{\mathbb{Z}_p} \newcommand{\Qp}{\mathbb{Q}_p} \newcommand{\Qq}{\mathbb{Q}_q} \newcommand{\Fp}{\mathbb{F}_p} \newcommand{\I}{[0,1]} \newcommand{\In}{[0,1]^n} \newcommand{\Fpn}{\mathbb{F}_{p^n}} \newcommand{\Fpm}{\mathbb{F}_{p^m}} \newcommand{\Zn}{\mathbb{Z}/{n\mathbb{Z}}} \newcommand{\Zx}[1]{\mathbb{Z}/{#1\mathbb{Z}}} \newcommand{\md}[3]{#1\equiv #2\pmod{#3}} \newcommand{\ga}{\Gal(L/K)} \newcommand{\aga}[1]{\Gal(\overline{#1}/#1)} \newcommand{\sga}[1]{\Gal(#1^{sep}/{#1})} \newcommand{\gal}[2]{\Gal(#1/{#2})} \newcommand{\c}[1]{\mathcal{#1}} \newcommand{\limes}[1]{\underset{i\in I}{\varprojlim{#1_i}}} \newcommand{\prp}{\text{ proper }} \newcommand{\lnss}{\text{ locally noetherian Schemes}} \newcommand{\lns}{\text{ locally noetherian Scheme }} \newcommand{\ffe}{\text{ finite field extension }} \newcommand{\fge}{\text{ finite Galois extension }} \newcommand{\fne}{\text{ finite normal extension }} \newcommand{\fse}{\text{ finite separable extension }} \newcommand{\fure}{\text{ finite unramified extension }} \newcommand{\frae}{\text{ finite ramified extension }} \newcommand{\ure}{\text{ unramified extension }} \newcommand{\rae}{\text{ ramified extension }} \newcommand{\tarae}{\text{ tamely ramified extension }} \newcommand{\rain}{\text{ ramification index }} \newcommand{\indeg}{\text{ inertia index }} \newcommand{\Co}[2]{H^p(#1,#2)} \newcommand{\qcqs}{\text{ quasi-compact quasi-separated }} \newcommand{\oft}{\text{ of finite type }} \newcommand{\loft}{\text{ locally of finite type }} \newcommand{\ofp}{\text{ of finite presentation }} \newcommand{\OX}{\mathcal{O}_X} \newcommand{\OC}{\mathcal{O}_C} \newcommand{\OXmu}{\mathcal{O}_{X,\mu}} \newcommand{\OCx}{\mathcal{O}_{C,x}} \newcommand{\OYx}{\mathcal{O}_{Y,y}} \newcommand{\OK}{\mathcal{O}_K} \newcommand{\OL}{\mathcal{O}_L} \newcommand{\res}[1]{\kappa_#1} \newcommand{\resx}{\kappa(x)} \newcommand{\sk}{\{\tau\}} \newcommand{\Te}{[T]} \newcommand{\Tee}{[T_1,T_2]} \newcommand{\Teee}{[T_1,T_2,T_3]} \newcommand{\Ten}{[T_1,\cdots,T_n]} \newcommand{\Tem}{[T_1,\cdots,T_m]} \newcommand{\pts}{\cdots} \newcommand{\pt}{\cdot} \DeclareMathOperator{\Gal}{Gal} \DeclareMathOperator{\Hom}{Hom} \newcommand{\hm}[3]{\Hom_{#1}(#2,#3)} \newcommand{\hom}[2]{\Hom(#1,#2)} \newcommand{\Sschemes}{\schemes/S} \newcommand{\kschemes}{\schemes/k} \newcommand{\dash}{\dashrightarrow} \newcommand{\schemes}{\bb{(Sch)}} \newcommand{\Is}{\overset{\sim}{\to}} \newcommand{\oIs}[1]{\overset{#1}{\overset{\sim}{\to}}} \newcommand{\tx}[1]{\text{ #1 }} \newcommand{\sp}[1]{\Spec(#1)} \newcommand{\prj}[1]{Proj(#1)} \newcommand{\wlog}{\text{ without losing generality }} \newcommand{\mm}{\ff{m}} \newcommand{\arr}[3]{#1\overset{#2}{\to} #3} \newcommand{\isom}[3]{#1\overset{#2}{\overset{\sim}{\to}}#3} \newcommand{\nrm}[1]{\left\|#1\right\|} \newcommand{\nr}{\nrm{-}} \newcommand{\ext}[2]{#1/{#2}} \newcommand{\lam}{\lambda} \newcommand{\a}{\alpha} \newcommand{\be}{\beta} \newcommand{\g}{\gamma} \newcommand{\de}{\delta} \newcommand{\vp}{\varphi} \newcommand{\p}{\phi} \newcommand{\bul}{\bullet} \newcommand{\t}{\tau} \newcommand{\s}{\sigma} \newcommand{\ze}{\zeta} \newcommand{\tm}{\times} \newcommand{\tms}{\times\pts\times} \newcommand{\ot}{\otimes} \newcommand{\ots}{\otimes\pts\otimes} \newcommand{\pls}{+\pts +} \newcommand{\cos}{,\pts,} \newcommand{\op}{\oplus} \newcommand{\ops}{\oplus\pts\oplus} \newcommand{\cr}{\circ} \newcommand{\crs}{\circ\pts\circ} \newcommand{\kxn}{k[x_0,\pts,x_n]}\)
Hi alle.

Ich habe gehoert, dass man Identitaeten von formalen Potenzreihen ueber \(k\), zum Beispiel nur ueber \(\mathbb{R}\) zeigen muss. Das folgte aus dem "Universellen Fall".

Kennt jemand eine Referenz zu diesem Thema?
Ich hatte noch keine Zeit das nachzupruefen und es scheint mir nicht so offensichtlich zu sein.

Gruesse
\(\endgroup\)



Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=238546=4010
Druckdatum: 2019-05-22 11:24