User contributions for Florian Brucker
Jump to navigation
Jump to search
29 January 2010
- 15:2715:27, 29 January 2010 diff hist −187 ProofWiki:Wanted proofs list Removed Tychonoff's theorem and Borel-Cantelli-Lemma
- 15:2515:25, 29 January 2010 diff hist +107 User talk:Prime.mover →Tychonoff's Theorem: new section
- 15:2315:23, 29 January 2010 diff hist +164 Tychonoff's Theorem No edit summary
- 15:2215:22, 29 January 2010 diff hist +1,727 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…'
- 15:2115:21, 29 January 2010 diff hist +2 Ultrafilter Lemma Thought twice, Set Theory is the better place
- 15:1715:17, 29 January 2010 diff hist +1,673 N Image of Ultrafilter is Ultrafilter No need for topology here, sets are enough
- 15:1615:16, 29 January 2010 diff hist +2 Filter Basis Generates Filter Set Theory is a better place for this
- 15:1615:16, 29 January 2010 diff hist +2 Definition:Filter on Set Set Theory is a better place for this
- 15:1515:15, 29 January 2010 diff hist +2 Definition:Ultrafilter on Set Set Theory is a better place for this
- 15:1315:13, 29 January 2010 diff hist −26 Image Filter is Filter No need for topology here, sets are enough
- 15:1315:13, 29 January 2010 diff hist −26 Definition:Image Filter No need for topology here, sets are enough
- 15:1015:10, 29 January 2010 diff hist +2,340 N Equivalent Definitions of Ultrafilter 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…'
- 14:2514:25, 29 January 2010 diff hist +2,614 N Filter on Product Space Converges to Point iff Projections Converge to Projections of Point 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…'
- 13:4113:41, 29 January 2010 diff hist +2,161 N Equivalence of Definitions of Continuous Mapping between Topological Spaces/Point 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…'
- 12:5312:53, 29 January 2010 diff hist +139 Definition:Open Mapping No edit summary
- 12:5212:52, 29 January 2010 diff hist +351 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…'
- 12:3612:36, 29 January 2010 diff hist +8 m Definition:Image Filter No edit summary
- 12:3112:31, 29 January 2010 diff hist +521 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}(…'
- 12:3112:31, 29 January 2010 diff hist +8 Image Filter is Filter No edit summary
- 12:3112:31, 29 January 2010 diff hist +2,051 N Image Filter is 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…'
- 12:0612:06, 29 January 2010 diff hist −6 Zorn's Lemma No edit summary
- 12:0612:06, 29 January 2010 diff hist +35 Zorn's Lemma No edit summary
- 12:0512:05, 29 January 2010 diff hist +144 Talk:Main Page No edit summary
- 12:0412:04, 29 January 2010 diff hist +38 Category:Axiom of Choice No edit summary
- 11:5811:58, 29 January 2010 diff hist +332 Talk:Main Page →Axiom of Choice: new section
- 11:5711:57, 29 January 2010 diff hist +29 Axiom:Axiom of Choice No edit summary
- 11:5611:56, 29 January 2010 diff hist +131 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.'
- 11:5411:54, 29 January 2010 diff hist +27 Ultrafilter Lemma Switched from Category:Set Theory to Topology and added Category:Axiom of Choice
- 11:4811:48, 29 January 2010 diff hist −4 Definition:Natural Basis of Product Topology Redirected page to Definition:Product Space
- 11:4811:48, 29 January 2010 diff hist +92 N Definition:Natural Basis of Product Topology Redirected page to Definition:Topological Space
- 11:3611:36, 29 January 2010 diff hist +4 m Definition:Filter on Set No edit summary
- 11:3511:35, 29 January 2010 diff hist +1,329 Definition talk:Topology Generated by Synthetic Sub-Basis No edit summary
- 11:2311:23, 29 January 2010 diff hist +51 Definition:Superfilter Topology/Defintions category added
- 11:2211:22, 29 January 2010 diff hist −62 Limit Point iff Superfilter Converges Added link to definition of a superfilter
- 11:2111:21, 29 January 2010 diff hist +334 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 …'
- 11:1711:17, 29 January 2010 diff hist +241 User talk:Prime.mover →Re: pardon me, lovely work: new section
25 January 2010
- 14:0914:09, 25 January 2010 diff hist +70 m User talk:Joe →Re : Welcome
- 14:0914:09, 25 January 2010 diff hist +293 User talk:Joe →Re : Welcome: new section
23 January 2010
- 16:2716:27, 23 January 2010 diff hist +363 Definition:Product Space Added definition of natural basis
- 16:2416:24, 23 January 2010 diff hist +873 Definition:Product Space Added definition of general topological product spaces
- 16:2216:22, 23 January 2010 diff hist +582 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…'
- 16:1916:19, 23 January 2010 diff hist +23 Generated Topology is a Topology Category Topology
- 16:1816:18, 23 January 2010 diff hist +51 Definition:Topology Generated by Synthetic Sub-Basis Category Definitions/Topology
- 16:1616:16, 23 January 2010 diff hist +483 N Definition:Topology Generated by Synthetic Sub-Basis Created page with 'Let <math>X</math> be a set and <math>\mathcal{S} \subset \mathcal{P}(X)</math>. Define <math>\mathcal{S}^* := \{ \bigcap S | S \subseteq \mathcal{S} \text{ fi…'
- 16:1516:15, 23 January 2010 diff hist +204 Generated Topology is a Topology No edit summary
- 15:3615:36, 23 January 2010 diff hist +1,333 N Generated Topology is a Topology Created page with '== Theorem == Let <math>X</math> be a set, <math>\mathcal{S} \subseteq \mathcal{P}(X)</math> and <math>\mathcal{T}_\mathcal{S}</math> be the [[Definition:Gene…'
- 15:1515:15, 23 January 2010 diff hist +36 N Definition:Family Redirected page to Definition:Indexing Set
- 03:1103:11, 23 January 2010 diff hist +101 Definition:Compact Space Added link to equivalent definitions
- 03:0703:07, 23 January 2010 diff hist 0 m Filter Basis Generates Filter Fixed Typo
- 02:4002:40, 23 January 2010 diff hist +67 N User:Florian Brucker Created page with 'See [http://www.florianbrucker.de my homepage] for further details.' current