Inverse-producing extensions of Topological Algebras/Algebra of power series

Introduction

For the multiplicative algebraic closure of an algebra ${\textstyle A}$, which contains an additional element ${\textstyle t\notin A}$, more elements must added to an algebra:

• the multiplication with itself yield elements ${\textstyle t^{n}\in A[t]}$ with ${\textstyle n\in \mathbb {N} _{o}}$, ${\textstyle t^{0}:=e}$) and also
• any multiplications of ${\textstyle t^{n}\in A[t]}$ with elements in $A$ generate elements like ${\textstyle a\cdot t^{n}\in A[t]}$ are back in ${\textstyle A[t]}$.
• the additive algebraic closure also requires that polynomials ${\textstyle \sum _{k=0}^{n}a_{k}\cdot t^{k}\in A[t]}$ with coefficients ${\textstyle a_{k}\in A}$ are element of algebraic conclusion.

With a system of topology-producing gauge functionals you can define a topological closure of the polynomial gebra $A[t]$.

Definition: algebra of power series

Be ${\textstyle A^{\infty }[t]}$ the set of all powers series with coefficients in ${\textstyle A}$ of the form

$$p(t)=\sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{ mit }}(p_{k})_{k\in \mathbb {N} _{0}}\in A^{\mathbb {N} _{0}}$$

Note

The notation of ${\textstyle \sum _{k=0}^{\infty }\ldots }$ cannot say anything about the convergence of a series, because a topologisation of the algebra is necessary. ${\textstyle A^{\infty }[t]}$ defines purely algebraic a power series with arbitrary coefficients from the algebra ${\textstyle A}$.

Power series as sequence of partial sums

For a fixed ${\textstyle t\in \mathbb {K} }$, ${\textstyle p(t)}$ is used as the sequence of the partial sums

$$(p^{\downarrow n}(t))_{n\in \mathbb {N} }:=\left(\sum _{k=0}^{n}p_{k}\cdot t^{k}\right)_{n\in \mathbb {N} }$$

Cauchy product

${\textstyle A^{\infty }[t]}$, analogously to the polynomial gebra, the cauchy multiplication of two potency rows ${\textstyle p,q}$ is defined as multiplicative operation as follows.

$${\begin{array}{rcl}p(t)&:=&\displaystyle \sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{, }}q(t):=\displaystyle \sum _{k=0}^{\infty }q_{k}\cdot t^{k}\,{\mbox{ und }}\\(p\cdot q)(t)&:=&p(t)\cdot q(t):=\displaystyle \sum _{n=0}^{\infty }\sum _{k=0}^{n}p_{k}\cdot q_{n-k}\cdot t^{n}.\end{array}}$$

Constants as power series

An element ${\textstyle x\in A}$ can be identified with the constant polynomial ${\textstyle x(t):=x\cdot t^{0}\in A[t]\subseteq A^{\infty }[t]}$.

Equality of power series

Be two power series ${\textstyle p,q\in A^{\infty }[t]}$ given with:

$$p(t):=\sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{ and }}q(t):=\sum _{k=0}^{\infty }q_{k}\cdot t^{k}$$

The equality of potency rows ${\textstyle p=q}$ is defined by the coefficient equality:

$$p=q:\Longleftrightarrow p_{k}=q_{k}{\mbox{ for all }}k\in \mathbb {N} _{0}$$

Comments - Equality

The equality of power series or Polynomials do not necessarily have to be defined by the coefficient equation, but can also be defined by the equality of images ${\textstyle p(t)=q(t)}$ for all ${\textstyle t\in \mathbb {D} }$ from the definition range ${\textstyle t\in \mathbb {D} }$.

Example - Equality

If, for example, the residual class ring ${\textstyle R_{3}:=\{{\overline {0}}_{3},{\overline {1}}_{3},{\overline {2}}_{3}\}}$ modulo 3 is used as the definition range of a polynomial, the polynomial differs

$$p(t):=t\cdot (t-{\overline {1}}_{3})\cdot (t+{\overline {1}}_{3})={\overline {1}}_{3}\cdot t^{3}-{\overline {1}}_{3}\cdot t$$

of the zero polynomial with respect to the coefficients of ${\textstyle t^{3}}$ and ${\textstyle t^{1}}$. Nevertheless, the condition ${\textstyle t\in R_{3}}$ applies to all ${\textstyle p(t)={\overline {0}}_{3}}$.

Use in this learning unit

In the further learning unit on topological invertability criteria, the equality of the power series or Polynomials then and only if two polynomials are coefficient for all coefficients of ${\textstyle t^{k}}$.

Topological algebra of power series

Let ${\textstyle (A,\left\|\cdot \right\|_{\mathcal {A}})}$ be an algebra and ${\textstyle A^{\infty }[t]}$ the algebra of the power series with coefficients in ${\textstyle A}$. Furthermore, a system of gauge functional ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\widetilde {\mathcal {A}}}}$ is defined, then the topological closure of the polynomialgebra ${\textstyle {\overline {A[t]}}}$ is designated by ${\textstyle A[t]}$. All ${\textstyle p\in A^{\infty }[t]}$ order ${\textstyle {\overline {A[t]}}}$ if the following condition applies ${\textstyle \left\|\!\left|p\right|\!\right\|_{\widetilde {\alpha }}<\infty }$ for all ${\textstyle {\widetilde {\alpha }}\in {\widetilde {\mathcal {A}}}}$.

Induced topology from the algebra to the algebra of power series

Be ${\textstyle \left(A,\left\|\cdot \right\|_{\mathcal {A}}\right)\in {\mathcal {K}}(\mathbb {K} )}$ a topological algebra of class ${\textstyle {\mathcal {K}}}$. Furthermore, a positive constant ${\textstyle \alpha \in {\mathcal {A}}}$ and ${\textstyle k\in \mathbb {N} _{0}}$ and a ${\textstyle C_{k}(\alpha )}$ and a ${\textstyle {\mathcal {K}}}$ functional ${\textstyle \left\|\cdot \right\|_{k}^{(\alpha )}}$ are selected, by the following Gauge functionals: ${\textstyle p}$-Gaugefunctional on vector space of all Potency rows with coefficients are defined in ${\textstyle A}$:

$$\left\|\!\left|p\right|\!\right\|_{\alpha }:=\sum _{k=0}^{\infty }C_{k}(\alpha )\cdot \left\|p_{k}\right\|_{k}^{(\alpha )}.$$

Topological closure of the polynomial gebra with respect to the gauge functional system

${\textstyle ({\overline {A[t]}},\left\|\!\left|\cdot \right|\!\right\|_{\mathcal {A}})}$ then refer to the topological conclusion of ${\textstyle A[t]}$ with respect to ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\mathcal {A}}}$, i.e. vector space of all potency rows with coefficients in ${\textstyle A}$, which additionally meet the following condition:

$$\left\|\!\left|p\right|\!\right\|_{\alpha }<\infty {\mbox{ für alle }}\alpha \in {\mathcal {A}}.$$

Topologizing of algebra of power series and algebra extension

The algebra of power series ${\textstyle {\overline {A[t]}}}$ is now topologized in a way that depends on the Gauge functional system on ${\textstyle A}$. This procedure is necessary in order to embed the algebra ${\textstyle B}$ in ${\textstyle A}$ in ${\textstyle B}$. That is to say the unital algebra ${\textstyle A\in {\mathcal {K}}_{e}}$ from a class ${\textstyle {\mathcal {K}}_{e}}$ is added to the algebra extension ${\textstyle B\in {\mathcal {K}}_{e}}$ by an algebraisomorphism ${\textstyle \tau :A\longrightarrow A'\subset B}$ embedded:

• ${\textstyle \tau (e_{_{A}})=e_{_{B}}}$, where ${\textstyle e_{_{A}}}$ is the single element of ${\textstyle A}$ and ${\textstyle e_{_{B}}\in A'}$ is the single element of ${\textstyle B}$.
• ${\textstyle A}$ is homeomorphous to ${\textstyle A'}$; i.e. ${\textstyle \tau }$ and ${\textstyle \tau ^{-1}:A'\longrightarrow A}$ are steady.

Note: Stetility algebraisomorphism

The rigidity of algebraisomorphism and the reverse image ${\textstyle \tau ^{-1}:A'\longrightarrow A}$ is later detected by the gauge functional systems on ${\textstyle A\in {\mathcal {K}}_{e}}$ and the relative topology induced from ${\textstyle B\in {\mathcal {K}}_{e}}$ on ${\textstyle A'\in {\mathcal {K}}_{e}}$.

Lemma: Isotone sequence of gauge functional

Be ${\textstyle \left(A,\|\cdot \|_{\mathcal {A}}\right)\in {\mathcal {K}}}$ and ${\textstyle (\left\|\cdot \right\|_{n}^{(\alpha )})_{n\in \mathbb {N} }}$ isotone sequences of Gauge functionals with Coefficients ${\textstyle C_{k}^{n}(\alpha )\geq 1}$, applicable to:

• ${\textstyle \left\|\cdot \right\|_{1}^{(\alpha )}:=\left\|\cdot \right\|_{\alpha }}$ for all ${\textstyle \alpha \in {\mathcal {A}}}$
• ${\textstyle \left\|\cdot \right\|_{n}^{(\alpha )}\leq \left\|\cdot \right\|_{n+1}^{(\alpha )}}$ for all ${\textstyle n\in \mathbb {N} }$ and ${\textstyle \alpha \in {\mathcal {A}}}$
• ${\textstyle C_{k}^{n}(\alpha )\leq C_{k}^{n+1}(\alpha )}$ for all ${\textstyle \alpha \in {\mathcal {A}}}$ and ${\textstyle n,k\in \mathbb {N} }$
• ${\textstyle C_{o}^{n}(\alpha )=1}$ for all ${\textstyle n\in \mathbb {N} }$ and ${\textstyle \alpha \in {\mathcal {A}}}$.

Prerequisite 2 - Gauge-functional systems on algebra of power series

The following four systems are available at ${\textstyle A[t]}$: ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{{\mathcal {A}}\times \mathbb {N} }^{(I)}}$, ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{{\mathcal {A}}\times \mathbb {N} }^{(II)}}$, ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{{\mathcal {A}}\times \mathbb {N} }^{(III)}}$, ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{{\mathcal {A}}\times \mathbb {N} }^{(IV)}}$ by Gauge-functional for ${\textstyle \displaystyle p(t)=\sum _{k=0}^{\infty }p_{_{k}}\cdot t^{k}\in A[t]}$ defined:

Prerequisite 2 - Definition of Gauge Functional Systems

${\textstyle \displaystyle \left\|\!\left|p\right|\!\right\|_{(\alpha ,n)}^{(I)}:=\sum _{k=0}^{\infty }C_{k}^{n}(\alpha )\cdot \left\|p_{_{k}}\right\|_{n}^{(\alpha )}}$ ${\textstyle \displaystyle \left\|\!\left|p\right|\!\right\|_{(\alpha ,n)}^{(II)}:=\sum _{k=0}^{\infty }C_{k}^{n}(\alpha )\cdot \left\|p_{_{k}}\right\|_{n+1}^{(\alpha )}}$ ${\textstyle \displaystyle \left\|\!\left|p\right|\!\right\|_{(\alpha ,n)}^{(III)}:=\sum _{k=0}^{\infty }C_{k}^{n+1}(\alpha )\cdot \left\|p_{_{k}}\right\|_{n}^{(\alpha )}}$ ${\textstyle \displaystyle \left\|\!\left|p\right|\!\right\|_{(\alpha ,n)}^{(IV)}:=\left\|p_{o}\right\|_{n}^{(\alpha )}+\sum _{k=1}^{\infty }C_{k}^{n}(\alpha )\cdot \left\|p_{_{k}}\right\|_{n+2}^{(\alpha )}}$

sequencerung - topology generation

With the above conditions, the systems generate the same on ${\textstyle A[t]}$ topology. In particular, a solid ${\textstyle \alpha }$ is obtained for all 4 selected subsystems of gauge functional ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\{\alpha \}\times \mathbb {N} }^{(I)}}$,\dots , ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\{\alpha \}\times \mathbb {N} }^{(IV)}}$. the same subsystem ${\textstyle {\mathcal {T}}_{\alpha }}$ open sets of topology ${\textstyle {\mathcal {T}}}$.

Proof

All ${\textstyle \alpha \in {\mathcal {A}}}$, ${\textstyle n\in \mathbb {N} }$ and ${\textstyle M\in \{I,\dots ,IV\}}$ the following inequality chain:

$$\left|\!\left\|\cdot \right\|\!\right|_{(\alpha ,n)}^{(I)}\leq \left|\!\left\|\cdot \right\|\!\right|_{(\alpha ,n)}^{(M)}\leq \left|\!\left\|\cdot \right\|\!\right|_{(\alpha ,n+2)}^{(I)}$$

The subsystems thus agree with a fixed ${\textstyle \alpha }$, i.e. Output topology in accordance with q.e.d.

Equality of partial sums of potency rows

The coefficients of the elements of ${\textstyle A^{\infty }[t]}$ can also be determined clearly via the partial sums. The partial sums are clearly defined as linear combinations in ${\textstyle A}$ with ${\textstyle t\in \mathbb {K} }$. However, the partial sums as sequence in ${\textstyle A}$ do not necessarily have to converge.

Coefficient comparison for partial sums 1

$${\begin{array}{rll}p(t):=\displaystyle \sum _{k=0}^{\infty }p_{k}\cdot t^{k}&,&q(t):=\displaystyle \sum _{k=0}^{\infty }q_{k}\cdot t^{k}\in A[t]\\&&{\mbox{ mit }}p^{\downarrow m}(t)=q^{\downarrow m}(t){\mbox{ }}\forall t\in \mathbb {K} \\&\Longrightarrow &0_{A}=\displaystyle \sum _{k=0}^{\infty }(p_{k}-q_{k})t^{k}\\\end{array}}$$

Coefficient comparison for partial sums 2

$${\begin{array}{rll}&\Longrightarrow &\forall _{\displaystyle \alpha \in {\mathcal {A}};n\in \mathbb {N} }:0=\left|\!\left\|p-q\right\|\!\right|_{(\alpha ,n)}=\displaystyle \sum _{k=0}^{\infty }\left\|p_{k}-q_{k}\right\|_{n}^{(\alpha )}\\&\Longrightarrow &\forall _{\displaystyle \alpha \in {\mathcal {A}},n\in \mathbb {N} }:\left\|p_{k}-q_{k}\right\|_{n}^{(\alpha )}=0.\end{array}}$$

Since ${\textstyle A}$ is a house village flock, ${\textstyle p_{k}=q_{k}}$ applies to all ${\textstyle k\in \mathbb {N} _{0}}$.

Definition: algebra of power series

Be ${\textstyle A}$ an algebra and ${\textstyle A^{\infty }[t]}$ the algebra of all potency rows with coefficients in ${\textstyle A}$ with Cauchymultiplication. Partial sum up to grade ${\textstyle m\in \mathbb {N} _{0}}$ Potency series ${\textstyle p(t)=\sum _{k=0}^{\infty }p_{k}\cdot t^{k}\in {\overline {A[t]}}}$ is the following polynomial:

$$p^{\downarrow m}(t):=\sum _{k=0}^{m}p_{k}\cdot t^{k}.$$

Definition: Partial Sum Topology

Be ${\textstyle \left(A[t],\left|\!\left\|\cdot \right\|\!\right|_{\mathcal {A}}\right)}$ a polynomial gebra. Reference ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\mathcal {A}}^{\downarrow \mathbb {N} }}$ the system of partial sum functions of ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\mathcal {A}}}$

$${\begin{array}{rcl}p(t)&:=&\displaystyle \sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{wie folgt definiert sind:}}\\\left|\!\left\|p\right\|\!\right|_{\alpha }^{\downarrow m}&:=&\left|\!\left\|p^{\downarrow m}\right\|\!\right|_{\alpha }{\mbox{ mit }}\alpha \in {\mathcal {A}}{\mbox{ und }}m\in \mathbb {N} .\end{array}}$$

The ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\mathcal {A}}^{\downarrow \mathbb {N} }}$ generated topology is called partial sum topology of ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\mathcal {A}}}$ on ${\textstyle A[t]}$.

Note

The partial sum topology is more than that of ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\mathcal {A}}}$ produced starting topology, for for ${\textstyle \alpha \in {\mathcal {A}}}$:

$$\left|\!\left\|\cdot \right\|\!\right|_{\alpha }^{\downarrow m}\leq \left|\!\left\|\cdot \right\|\!\right|_{\alpha }{\mbox{ für alle }}m\in \mathbb {N} .$$

The partial sum topology is obtained by individual gauge functional ${\textstyle \left|\!\left\|\cdot \right\|\!\right|_{\mathcal {A}}}$ with Projections ${\textstyle \cdot ^{\downarrow m}:A[t]\longrightarrow A[t]}$ linked to the first ${\textstyle m}$ summands of the polynomial and as selects topology-producing functionals on ${\textstyle A[t]}$. ${\textstyle m\in \mathbb {N} }$ selected as desired. The following Lemma shows the clarity of the factorization of any desired Items ${\textstyle p\in {\overline {A[t]}}}$ by ${\textstyle z\cdot t-e\in A[t]}$ and one by ${\textstyle p}$ selected formal potency series ${\textstyle {\widehat {p}}\in {\overline {A[t]}}}$.

Tasks

In the following tasks, some small exercises will be used to calculate

Norm - Matrixalegbra - Topologising algebra of power series

The two dies are given

$$r_{k}:={\begin{pmatrix}{\frac {1}{2^{k}}}&{\frac {1}{3^{k}}}\\{\frac {1}{4^{k}}}&{\frac {1}{5^{k}}}\\\end{pmatrix}}\,\,\,\,\,e_{A}:={\begin{pmatrix}1&0\\0&1\\\end{pmatrix}}$$

with the single element ${\textstyle e_{A}}$ in the algebra ${\textstyle A:=Mat(2\times 2,\mathbb {R} )}$. ${\textstyle A}$ is standard

$$\|a\|_{max}=\left\|{\begin{pmatrix}a_{1}&a_{2}\\a_{3}&a_{4}\\\end{pmatrix}}\right\|_{max}=\max\{|a_{1}|,|a_{2}|,|a_{3}|,|a_{4}|\}$$

a normed space.

• Show that the potency series ${\textstyle q(t):=\displaystyle \sum _{k=0}^{\infty }e_{A}\cdot t^{k}}$ and the standard ${\textstyle \|\!|p|\!\|:=\displaystyle \sum _{k=0}^{\infty }\|p_{k}\|_{max}}$ are not in ${\textstyle {\overline {A[t]}}}$.
• Calculate ${\textstyle \|\!|q|\!\|}$ and ${\textstyle \|\!|r|\!\|}$ with ${\textstyle q_{k}=e_{A}}$ and the above-defined coefficients in${\textstyle r_{k}}$.
• Calculate the matrix ${\textstyle r\in {\overline {A[t]}}}$ with ${\textstyle t=1}$!

Vector space of real-value continuous functions

We use as domain and range ${\textstyle \mathbb {R} }$, which the algebra ${\textstyle A:={\mathcal {C}}(\mathbb {R} ,\mathbb {R} )}$ of the continuous functions of ${\textstyle \mathbb {R} }$ to ${\textstyle \mathbb {R} }$ with the seminorms

$$\|f\|_{n}:=\displaystyle \max _{x\in [-n,+n]}|f(x)|$$

becomes ${\textstyle (A,\|\cdot \|_{\mathbb {N} })}$ a local convex topological vector space.

• Topologize the polynomial agebra ${\textstyle A[t]}$ with a system of seminorms ${\textstyle (A[t],\|\!|\cdot |\!\|_{\mathbb {N} })}$, which is defined via the seminorms ${\textstyle \|\cdot \|_{n}}$ on $A$.

${\textstyle \|\!|p|\!\|_{n}:=\displaystyle \sum _{k=0}^{n}C_{k}\cdot \|p_{k}\|_{n}}$.

select the coefficients as a geometric series for the ${\textstyle (C_{k})_{k\in \mathbb {N} }}$

• Show that the seminorms ${\textstyle \|\cdot \|_{n}}$ are submultiplicative, i.e. ${\textstyle \|f\cdot g\|_{n}\leq \|f\|_{n}\cdot \|g\|_{n}}$!
• Select the coefficients ${\textstyle C_{k}\in \mathbb {R} _{o}^{+}}$ so that the polynomial ${\textstyle q\in A[t]}$ with ${\textstyle q_{k}=cos}$ as the cosine function for all ${\textstyle k\in \mathbb {N} _{o}}$ is an element of the algebra of power series $A^{\infty }[t]$ The object ${\textstyle q}$ is thus a power series with coefficients ${\textstyle q_{k}}$ in $A$ as cosine function. For example, select ${\textstyle C_{k}:={\frac {1}{3^{k}}}}$ and calculate ${\textstyle \|cos\|_{n}}$ for all ${\textstyle n\in \mathbb {N} }$. The sequence of coefficients ${\textstyle (C_{k})_{k\in \mathbb {N} _{0}}}$ must have a general characteristic for providing ${\textstyle \|\!|q|\!\|_{n}<\infty }$ for all ${\textstyle n\in \mathbb {N} }$, i.e. for all ${\textstyle n}$ the seminorm must yield a finite value.
• Choose a geometric series of ${\textstyle (C_{k})_{k\in \mathbb {N} }}$ with ${\textstyle 0<q<1}$ and ${\textstyle C_{k}:=q^{k}}$ and show that

$$\|\!|p\cdot q|\!\|_{n}\leq \|\!|p|\!\|_{n}\cdot \|\!|q|\!\|_{n}$$

with the Cauchy product on ${\textstyle A[t]}$.

Factorization problem for zt-e

Be selected as desired ${\textstyle A}$ a unital algebra with single element ${\textstyle e}$ and ${\textstyle z\in A}$. ${\textstyle A^{\infty }[t]}$ is with the cauchy multiplication an algebra in which:

$$\forall _{\displaystyle p\in A^{\infty }[t]}\exists _{\displaystyle {\widehat {p}}\in A^{\infty }[t]}\,:\,p(t)=(z\cdot t-e)\cdot {\widehat {p}}(t)(\ast )$$

${\textstyle {\widehat {p}}}$ is clearly defined for each ${\textstyle p}$.

Proof

${\textstyle A^{\infty }[t]}$ is a unital ring and ${\textstyle s\in A[t]\subset A^{\infty }[t]}$ with ${\textstyle s(t):=z\cdot t-e=z\cdot t^{1}+e\cdot t^{0}}$. We now show that ${\textstyle s\in A^{\infty }[t]}$ can be inverted.

Inverse element of zt-e

A polynomial ${\textstyle z\in A}$ is first defined using the given ${\textstyle q\in A^{\infty }[t]}$:

$$q(t):=-\sum _{k=0}^{\infty }z^{k}\cdot t^{k}=\sum _{k=0}^{\infty }-z^{k}\cdot t^{k}$$

We now calculate ${\textstyle s\cdot q\in A^{\infty }[t]}$

$${\begin{array}{rcl}(s\cdot q)(t)&=&s(t)\cdot q(t)=(z\cdot t-e)\cdot \left(\displaystyle -\sum _{k=0}^{\infty }z^{k}\cdot t^{k}\right)\\&=&\displaystyle -\sum _{k=1}^{\infty }z^{k}\cdot t^{k}+\sum _{k=0}^{\infty }z^{k}\cdot t^{k}=e\end{array}}$$

Definition of the searched power series

This defines ${\textstyle {\widehat {p}}(t):=q(t)\cdot p(t)=(z\cdot t-e)^{-1}\cdot p(t)}$.

Unambiguousness of the power series

Uniqueness of ${\textstyle {\widehat {p}}}$: Be given ${\textstyle {\widehat {p_{(1)}}},{\widehat {p_{(2)}}}\in {\overline {A[t]}}}$ which possess the property ${\textstyle (*)}$. For ${\textstyle v(t):=z\cdot t-e}$ is obtained:

$${\begin{array}{rcl}p&=&v\cdot {\widehat {p_{(1)}}}=v\cdot {\widehat {p_{(2)}}}\Longrightarrow \\{\widehat {p_{(1)}}}&=&v^{-1}\cdot (v\cdot {\widehat {p_{(1)}}})=v^{-1}\cdot (v\cdot {\widehat {p_{(2)}}})={\widehat {p_{(2)}}}\\\end{array}}$$

q.e.d.

Note

The coefficients of the elements of ${\textstyle A^{\infty }[t]}$ are clearly defined, unless:

$${\begin{array}{rcl}p(t):=\displaystyle \sum _{k=0}^{\infty }p_{k}\cdot t^{k}&,&q(t):=\displaystyle \sum _{k=0}^{\infty }q_{k}\cdot t^{k}\in A[t]{\mbox{ mit }}p(t)=q(t)\\&\Longrightarrow &0\equiv \displaystyle \sum _{k=0}^{\infty }(p_{k}-q_{k})t^{k}\\&\Longrightarrow &\forall _{\displaystyle \alpha \in {\mathcal {A}};n\in \mathbb {N} }:0=\left\|\!\left|p-q\right|\!\right\|_{(\alpha ,n)}=\sum _{k=0}^{\infty }\left\|p_{k}-q_{k}\right\|_{n}^{(\alpha )}\\&\Longrightarrow &\forall _{\displaystyle \alpha \in {\mathcal {A}},n\in \mathbb {N} }:\left\|p_{k}-q_{k}\right\|_{n}^{(\alpha )}=0.\end{array}}$$

Since ${\textstyle A}$ is a house village flock, ${\textstyle p_{k}=q_{k}}$ applies to all ${\textstyle k\in \mathbb {N} _{0}}$.

Note

The partial total topology is coarser than the starting topology produced by ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\mathcal {A}}}$, since ${\textstyle \alpha \in {\mathcal {A}}}$ applies:

$$\left\|\!\left|\cdot \right|\!\right\|_{\alpha }^{\downarrow m}\leq \left\|\!\left|\cdot \right|\!\right\|_{\alpha }{\mbox{ für alle }}m\in \mathbb {N} .$$

The partial sum topology is obtained by individual gauge functional ${\textstyle \left\|\!\left|\cdot \right|\!\right\|_{\mathcal {A}}}$ with Projections ${\textstyle \cdot ^{\downarrow m}:A[t]\longrightarrow A[t]}$ linked to the first ${\textstyle m}$ summands of the polynomial and as selects topology-producing functionals on ${\textstyle A[t]}$. ${\textstyle m\in \mathbb {N} }$ selected as desired. The following Lemma shows the clarity of the factorization of any desired Items ${\textstyle p\in {\overline {A[t]}}}$ by ${\textstyle z\cdot t-e\in A[t]}$ and one by ${\textstyle p}$ selected formal potency series ${\textstyle {\widehat {p}}\in {\overline {A[t]}}}$.

See also

• Algebra of polynomial
• Multiplicative topological devisors of zero