Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
foundational_temp_formal_power_series [2016/04/07 17:29] nikolaj |
foundational_temp_formal_power_series [2016/04/24 21:29] 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 | ||
