<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>http://wiki.algebrist.ddns.net/index.php?action=history&amp;feed=atom&amp;title=825_-_Analysis</id>
	<title>825 - Analysis - Revision history</title>
	<link rel="self" type="application/atom+xml" href="http://wiki.algebrist.ddns.net/index.php?action=history&amp;feed=atom&amp;title=825_-_Analysis"/>
	<link rel="alternate" type="text/html" href="http://wiki.algebrist.ddns.net/index.php?title=825_-_Analysis&amp;action=history"/>
	<updated>2026-04-11T02:04:02Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.33.4</generator>
	<entry>
		<id>http://wiki.algebrist.ddns.net/index.php?title=825_-_Analysis&amp;diff=46&amp;oldid=prev</id>
		<title>Kfagerstrom: /* Completeness Axioms */</title>
		<link rel="alternate" type="text/html" href="http://wiki.algebrist.ddns.net/index.php?title=825_-_Analysis&amp;diff=46&amp;oldid=prev"/>
		<updated>2022-12-14T17:57:39Z</updated>

		<summary type="html">&lt;p&gt;&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Completeness Axioms&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #222; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #222; text-align: center;&quot;&gt;Revision as of 17:57, 14 December 2022&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l7&quot; &gt;Line 7:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 7:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''Usual Notation:''' &amp;lt;math&amp;gt;\{a_n\}_{n=k}^\infty \sube X &amp;lt;/math&amp;gt; or &amp;lt;math&amp;gt; \{a_n\}\sube X&amp;lt;/math&amp;gt; denotes a sequence from &amp;lt;math&amp;gt;X &amp;lt;/math&amp;gt; with &amp;lt;math&amp;gt;a_n=a(n) &amp;lt;/math&amp;gt; for each &amp;lt;math&amp;gt;n\in \{k,k+1,k+2,...\} &amp;lt;/math&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''Usual Notation:''' &amp;lt;math&amp;gt;\{a_n\}_{n=k}^\infty \sube X &amp;lt;/math&amp;gt; or &amp;lt;math&amp;gt; \{a_n\}\sube X&amp;lt;/math&amp;gt; denotes a sequence from &amp;lt;math&amp;gt;X &amp;lt;/math&amp;gt; with &amp;lt;math&amp;gt;a_n=a(n) &amp;lt;/math&amp;gt; for each &amp;lt;math&amp;gt;n\in \{k,k+1,k+2,...\} &amp;lt;/math&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Completeness &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;Axioms&lt;/del&gt;===&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Completeness &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;Axiom&lt;/ins&gt;===&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;An ordered field &amp;lt;math&amp;gt;\mathbb{F} &amp;lt;/math&amp;gt; is ''complete'' if for any &amp;lt;math&amp;gt;E \sube \mathbb{F}, E\neq \emptyset &amp;lt;/math&amp;gt;, if &amp;lt;math&amp;gt;E &amp;lt;/math&amp;gt; is bounded above, &amp;lt;math&amp;gt;E &amp;lt;/math&amp;gt; has at least upper bound.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Functional Limits===&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Functional Limits===&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;

&lt;!-- diff cache key wiki-mediawiki-:diff::1.12:old-34:rev-46 --&gt;
&lt;/table&gt;</summary>
		<author><name>Kfagerstrom</name></author>
		
	</entry>
	<entry>
		<id>http://wiki.algebrist.ddns.net/index.php?title=825_-_Analysis&amp;diff=34&amp;oldid=prev</id>
		<title>Kfagerstrom: /* Sequences */</title>
		<link rel="alternate" type="text/html" href="http://wiki.algebrist.ddns.net/index.php?title=825_-_Analysis&amp;diff=34&amp;oldid=prev"/>
		<updated>2022-12-07T20:02:35Z</updated>

		<summary type="html">&lt;p&gt;&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Sequences&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #222; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #222; text-align: center;&quot;&gt;Revision as of 20:02, 7 December 2022&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot; &gt;Line 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Sequences===&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Sequences===&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;:''see also'' [[Sequences (Analysis)]]&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Given &amp;lt;math&amp;gt;X\neq \emptyset &amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;k \in \Z &amp;lt;/math&amp;gt;, a ''sequence'' from &amp;lt;math&amp;gt; X&amp;lt;/math&amp;gt; is a function &amp;lt;math&amp;gt;a:\{k,k+1,k+1,...\}\to X &amp;lt;/math&amp;gt;.  &lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;'''Usual Notation:''' &amp;lt;math&amp;gt;\{a_n\}_{n=k}^\infty \sube X &amp;lt;/math&amp;gt; or &amp;lt;math&amp;gt; \{a_n\}\sube X&amp;lt;/math&amp;gt; denotes a sequence from &amp;lt;math&amp;gt;X &amp;lt;/math&amp;gt; with &amp;lt;math&amp;gt;a_n=a(n) &amp;lt;/math&amp;gt; for each &amp;lt;math&amp;gt;n\in \{k,k+1,k+2,...\} &amp;lt;/math&amp;gt;.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Completeness Axioms===&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;===Completeness Axioms===&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;

&lt;!-- diff cache key wiki-mediawiki-:diff::1.12:old-33:rev-34 --&gt;
&lt;/table&gt;</summary>
		<author><name>Kfagerstrom</name></author>
		
	</entry>
	<entry>
		<id>http://wiki.algebrist.ddns.net/index.php?title=825_-_Analysis&amp;diff=33&amp;oldid=prev</id>
		<title>Kfagerstrom: Created page with &quot; ===Sequences===  ===Completeness Axioms===  ===Functional Limits===  ===Compactness=== ====Sequential Compactness====  ===Differentiation===   ====Darboux==== :''see also'' [...&quot;</title>
		<link rel="alternate" type="text/html" href="http://wiki.algebrist.ddns.net/index.php?title=825_-_Analysis&amp;diff=33&amp;oldid=prev"/>
		<updated>2022-12-07T19:51:49Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;quot; ===Sequences===  ===Completeness Axioms===  ===Functional Limits===  ===Compactness=== ====Sequential Compactness====  ===Differentiation===   ====Darboux==== :&amp;#039;&amp;#039;see also&amp;#039;&amp;#039; [...&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;&lt;br /&gt;
===Sequences===&lt;br /&gt;
&lt;br /&gt;
===Completeness Axioms===&lt;br /&gt;
&lt;br /&gt;
===Functional Limits===&lt;br /&gt;
&lt;br /&gt;
===Compactness===&lt;br /&gt;
====Sequential Compactness====&lt;br /&gt;
&lt;br /&gt;
===Differentiation=== &lt;br /&gt;
&lt;br /&gt;
====Darboux====&lt;br /&gt;
:''see also'' [[Darboux's Theorem]]&lt;br /&gt;
If &amp;lt;math&amp;gt;f:I\to \mathbb{R}&amp;lt;/math&amp;gt; is diff. on &amp;lt;math&amp;gt;I&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;f'&amp;lt;/math&amp;gt; is ''Darboux'' on &amp;lt;math&amp;gt;I&amp;lt;/math&amp;gt;; i.e. &amp;lt;math&amp;gt;f'&amp;lt;/math&amp;gt; has the initial value property. &lt;br /&gt;
&lt;br /&gt;
====Taylors Theorem====&lt;br /&gt;
&lt;br /&gt;
With &amp;lt;math&amp;gt;n\in \mathbb{W}&amp;lt;/math&amp;gt; suppose &amp;lt;math&amp;gt;f:I\to \mathbb{R}&amp;lt;/math&amp;gt; is &amp;lt;math&amp;gt;(n+1)&amp;lt;/math&amp;gt; times diff on &amp;lt;math&amp;gt;I&amp;lt;/math&amp;gt;. For each &amp;lt;math&amp;gt;x,x_0 \in I&amp;lt;/math&amp;gt;, there exists &amp;lt;math&amp;gt;\xi\in I\backslash \{x\}&amp;lt;/math&amp;gt; between &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;x_0&amp;lt;/math&amp;gt; such that &amp;lt;math&amp;gt;f(x)=P_n(x)+\frac{1}{(n+1)!}f^{(n+1)}(\xi)(x-x_0)^{n+1}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
:Remark: &amp;lt;math&amp;gt;\xi&amp;lt;/math&amp;gt; depends on &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; and need not be unique&lt;/div&gt;</summary>
		<author><name>Kfagerstrom</name></author>
		
	</entry>
</feed>