Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
foundational_temp_formal_power_series [2016/04/07 17:29] nikolaj |
foundational_temp_formal_power_series [2016/09/23 14:49] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Foundational temp formal power series ===== | ===== Foundational temp formal power series ===== | ||
- | | [[Foundational temp4 ]] $\succ$ $\succ$ [[]] | | + | | [[Foundational temp4 ]] $\succ$ Foundational temp formal power series $\succ$ [[]] | |
==== Guide ==== | ==== Guide ==== | ||
>**formal power series** | >**formal power series** | ||
Line 7: | Line 7: | ||
>Q: how far back can analysis be pushed? | >Q: how far back can analysis be pushed? | ||
+ | |||
+ | >>note that all formal power series are differentiable | ||
Idea: Abstract theory of sequences $(a_n)_n,(b_n)_n\in X^{\mathbb N}$ with main objects of interests being | Idea: Abstract theory of sequences $(a_n)_n,(b_n)_n\in X^{\mathbb N}$ with main objects of interests being | ||
Line 23: | Line 25: | ||
$B(a,b):=\sum_{n=0}^\infty\sum_{m=0}^\infty B_k^{n,m}\cdot a_n \cdot b_m$ | $B(a,b):=\sum_{n=0}^\infty\sum_{m=0}^\infty B_k^{n,m}\cdot a_n \cdot b_m$ | ||
- | ==== Parents ==== | + | ----- |
=== Sequel of === | === Sequel of === | ||
[[Foundational temp4]] | [[Foundational temp4]] | ||
=== Related === | === Related === | ||
[[Foundational temp4]] | [[Foundational temp4]] |