User contributions
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:27, 29 January 2010 (diff | hist) ProofWiki:Wanted proofs list (Removed Tychonoff's theorem and Borel-Cantelli-Lemma)
- 11:25, 29 January 2010 (diff | hist) User talk:Prime.mover (→Tychonoff's Theorem: new section)
- 11:23, 29 January 2010 (diff | hist) Tychonoff's Theorem
- 11:22, 29 January 2010 (diff | hist) N Tychonoff's Theorem (Created page with '== Theorem == Let <math>(X_i)_{i \in I}</math> be a family of non-empty topological spaces, where <math>I</math> is an arb…')
- 11:21, 29 January 2010 (diff | hist) Every Filter is Contained in an Ultrafilter (Thought twice, Set Theory is the better place)
- 11:17, 29 January 2010 (diff | hist) N Image of an Ultrafilter is an Ultrafilter (No need for topology here, sets are enough)
- 11:16, 29 January 2010 (diff | hist) Filter Basis Generates Filter (Set Theory is a better place for this)
- 11:16, 29 January 2010 (diff | hist) Definition:Filter on a Set (Set Theory is a better place for this)
- 11:15, 29 January 2010 (diff | hist) Definition:Ultrafilter on a Set (Set Theory is a better place for this)
- 11:13, 29 January 2010 (diff | hist) Image Filter is a Filter (No need for topology here, sets are enough)
- 11:13, 29 January 2010 (diff | hist) Definition:Image Filter (No need for topology here, sets are enough)
- 11:10, 29 January 2010 (diff | hist) N Equivalent Definitions of Ultrafilters (Created page with '== Theorem == Let <math>X</math> be a set and <math>\mathcal{F}</math> a filter on <math>X</math>. The following are equivalent. # <mat…')
- 10:25, 29 January 2010 (diff | hist) N Filter on a Product Space Converges iff Projections Converge (Created page with '== Theorem == Let <math>(X_i)_{i \in I}</math> be a family of non-empty topological spaces where <math>I</math> is an arbit…')
- 09:41, 29 January 2010 (diff | hist) N Equivalence of Topological Space Continuity Definitions (Created page with '== Theorem == Let <math>X, Y</math> be topological spaces, <math>x \in X</math> and <math>f : X \rightarrow Y</math> a [[Definition:Mapping|mapp…')
- 09:23, 29 January 2010 (diff | hist) m Projections are Continuous (moved Projections are Contiuous to Projections are Continuous: Pff, Typo)
- 09:22, 29 January 2010 (diff | hist) N Projections are Continuous (Created page with '== Theorem == Let <math>(X_i)_{i \in I}</math> be a family of topological spaces where <math>I</math> is an arbitrary [[Def…')
- 08:53, 29 January 2010 (diff | hist) Definition:Open Mapping
- 08:52, 29 January 2010 (diff | hist) N Definition:Open Mapping (Created page with 'Let <math>X, Y</math> be topological spaces and <math>f : X \rightarrow Y</math> a mapping. If for any [[Definition:Open…')
- 08:36, 29 January 2010 (diff | hist) m Definition:Image Filter
- 08:31, 29 January 2010 (diff | hist) N Definition:Image Filter (Created page with 'Let <math>X, Y</math> be topological spaces, <math>f : X \rightarrow Y</math> a Definition:Mapping and <math>\mathcal{F} \subset \mathcal{P}(…')
- 08:31, 29 January 2010 (diff | hist) Image Filter is a Filter
- 08:31, 29 January 2010 (diff | hist) N Image Filter is a Filter (Created page with '== Theorem == Let <math>X, Y</math> be topological spaces, <math>f : X \rightarrow Y</math> a Definition:Mapping and <math>\mathcal{F} \subs…')
- 08:06, 29 January 2010 (diff | hist) Zorn's Lemma
- 08:06, 29 January 2010 (diff | hist) Zorn's Lemma
- 08:05, 29 January 2010 (diff | hist) Talk:Main Page
- 08:04, 29 January 2010 (diff | hist) Category:Axiom of Choice (top)
- 07:58, 29 January 2010 (diff | hist) Talk:Main Page (→Axiom of Choice: new section)
- 07:57, 29 January 2010 (diff | hist) Axiom:Axiom of Choice
- 07:56, 29 January 2010 (diff | hist) N Category:Axiom of Choice (Created page with 'This category lists pages that are related to the Axiom of Choice, especially theorems that depend on it.')
- 07:54, 29 January 2010 (diff | hist) Every Filter is Contained in an Ultrafilter (Switched from Category:Set Theory to Topology and added Category:Axiom of Choice)
- 07:49, 29 January 2010 (diff | hist) Definition talk:Product Space
- 07:48, 29 January 2010 (diff | hist) Definition:Natural Basis (Redirected page to Definition:Product Space)
- 07:48, 29 January 2010 (diff | hist) N Definition:Natural Basis (Redirected page to Definition:Topological Space)
- 07:41, 29 January 2010 (diff | hist) Definition talk:Filter on a Set
- 07:36, 29 January 2010 (diff | hist) m Definition:Filter on a Set
- 07:35, 29 January 2010 (diff | hist) Definition talk:Generated Topology
- 07:26, 29 January 2010 (diff | hist) Talk:Limit Point iff Superfilter Converges
- 07:23, 29 January 2010 (diff | hist) Definition:Superfilter (Topology/Defintions category added)
- 07:22, 29 January 2010 (diff | hist) Limit Point iff Superfilter Converges (Added link to definition of a superfilter)
- 07:21, 29 January 2010 (diff | hist) N Definition:Superfilter (Created page with 'Let <math>X</math> be a topological space and <math>\mathcal{F}, \mathcal{F}' \subset \mathcal{P}(X)</math> two filters on …')
- 07:17, 29 January 2010 (diff | hist) User talk:Prime.mover (→Re: pardon me, lovely work: new section)
- 10:09, 25 January 2010 (diff | hist) m User talk:Joe (→Re : Welcome)
- 10:09, 25 January 2010 (diff | hist) User talk:Joe (→Re : Welcome: new section)
- 12:27, 23 January 2010 (diff | hist) Definition:Product Space (Added definition of natural basis)
- 12:24, 23 January 2010 (diff | hist) Definition:Product Space (Added definition of general topological product spaces)
- 12:22, 23 January 2010 (diff | hist) N Definition:Initial Topology (Created page with 'Let <math>X, I</math> be sets. For each <math>i \in I</math> let <math>Y_i</math> be a topological space and <math>f_i : X \ri…')
- 12:20, 23 January 2010 (diff | hist) m Equivalent Definitions of Basis (Topology)
- 12:19, 23 January 2010 (diff | hist) Generated Topology is a Topology (Category Topology)
- 12:18, 23 January 2010 (diff | hist) Definition:Generated Topology (Category Definitions/Topology)
- 12:17, 23 January 2010 (diff | hist) Equivalent Definitions of Basis (Topology) (Category Topology)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
