„Formális hatványsor” változatai közötti eltérés

a
hiv. korr, AWB
[ellenőrzött változat][ellenőrzött változat]
a (Bot: 11 interwiki link migrálva a Wikidata d:q1003025 adatába)
a (hiv. korr, AWB)
{{nincs forrás}}
Ha egy adott [[gyűrű (algebramatematika)|gyűrű]] feletti végtelen sorozatokon ahhoz hasonlóan értelmezünk két, összeadásnak és szorzásnak nevezett műveletet, ahogyan azt a végeredményben véges sorozatokként definiálható [[polinom]]ok esetében tennénk, akkor jutunk az általánosabb '''formális hatványsor''' fogalmához.
==Definíció==
A formális hatványsorok éppen úgy végtelen összegek, mint a nem formálisak. A műveleteket is ugyanúgy végezzük rajtuk, mint a valódi [[hatványsor]]okon. A [[konvergencia|konvergenciával]] azonban nem foglalkozunk.
==Ekvivalens definíció==
 
Legyen <math> R = \left( U, +, \times \right) </math> tetszőleges [[gyűrű (algebramatematika)|gyűrű]], és tekintsük az <math> R </math> feletti <math> R_{\mathbb{N}} = \left\{ \left( r_{n} \right) ^{n \in \mathbb{N}} \ | \ r \in R \right\} </math> végtelen <math> \left( r_{n} \right) _{n \in \mathbb{N}} = \left( r_{0} , r_{1} , r_{2} , r_{3} , .... \right) </math> sorozatok halmazát (megjegyzés, <math> K^{D} </math> -vel a D halmazból a K halmazba képező függvények halmazát jelöljük általában is).
 
Értelmezünk ezek között, tehát <math> R_{\mathbb{N}} </math> felett két kétváltozós <math> \oplus </math> és <math> \otimes </math> műveletet a következőképp:
325 743

szerkesztés