User contributions for Usagiop
Jump to navigation
Jump to search
17 April 2024
- 18:2118:21, 17 April 2024 diff hist +33 Locally Euclidean Space is Locally Path-Connected No edit summary current
16 April 2024
- 20:1120:11, 16 April 2024 diff hist +4 m L1 Mean Ergodic Theorem No edit summary current
- 20:1020:10, 16 April 2024 diff hist +828 L1 Mean Ergodic Theorem No edit summary
- 19:5919:59, 16 April 2024 diff hist +375 L1 Mean Ergodic Theorem No edit summary
14 April 2024
- 20:5620:56, 14 April 2024 diff hist +445 L1 Mean Ergodic Theorem No edit summary
- 13:2913:29, 14 April 2024 diff hist −1 m Space of Simple P-Integrable Functions is Everywhere Dense in Lebesgue Space fix broken formula
11 April 2024
- 20:3220:32, 11 April 2024 diff hist +29 L1 Mean Ergodic Theorem No edit summary
9 April 2024
- 20:3820:38, 9 April 2024 diff hist −19 m Locally Euclidean Space is Locally Path-Connected No edit summary
- 20:3720:37, 9 April 2024 diff hist 0 m Locally Euclidean Space is Locally Path-Connected No edit summary
- 20:3720:37, 9 April 2024 diff hist +187 Locally Euclidean Space is Locally Path-Connected No edit summary
- 20:2720:27, 9 April 2024 diff hist −14 m Topological Manifold is Locally Compact No edit summary
7 April 2024
- 20:2120:21, 7 April 2024 diff hist +7 m Projection from Product Category No edit summary current
- 20:2120:21, 7 April 2024 diff hist +155 Projection from Product Category No edit summary
- 20:1720:17, 7 April 2024 diff hist +6 m Projection from Product Category No edit summary
- 20:1520:15, 7 April 2024 diff hist +37 m Projection from Product Category No edit summary
- 20:1420:14, 7 April 2024 diff hist −376 Projection from Product Category even clearer
- 20:1120:11, 7 April 2024 diff hist +188 Projection from Product Category Clarify assumption
- 19:5919:59, 7 April 2024 diff hist +131 Functor Category is Category No edit summary current
6 April 2024
- 19:3919:39, 6 April 2024 diff hist +52 Projection from Product Category xymatrix
- 19:1619:16, 6 April 2024 diff hist +3 m Identity Morphism is Unique Fix typo current
- 19:0819:08, 6 April 2024 diff hist +30 Definition:Category Fix link current
4 March 2024
- 23:2623:26, 4 March 2024 diff hist +20 Hausdorff-Besicovitch Dimension is Well-Defined No edit summary current
3 March 2024
- 15:1515:15, 3 March 2024 diff hist +9 m Image of Ultrafilter is Ultrafilter/Proof 2 No edit summary
- 15:1415:14, 3 March 2024 diff hist −3 m Image of Ultrafilter is Ultrafilter/Proof 2 No edit summary
- 15:1415:14, 3 March 2024 diff hist −5 m Image of Ultrafilter is Ultrafilter/Proof 2 No edit summary
- 15:1315:13, 3 March 2024 diff hist +13 m Image of Ultrafilter is Ultrafilter/Proof 2 No edit summary
- 15:1215:12, 3 March 2024 diff hist +104 Image of Ultrafilter is Ultrafilter/Proof 2 No edit summary
- 15:0815:08, 3 March 2024 diff hist −1,065 Image of Ultrafilter is Ultrafilter No edit summary
- 15:0815:08, 3 March 2024 diff hist +1,271 N Image of Ultrafilter is Ultrafilter/Proof 1 Created page with "{{:Image of Ultrafilter is Ultrafilter}} == Proof == <onlyinclude> From Image Filter is Filter, we have that $\FF$ is a filter on $Y$. Let $\GG$ be a filter on $Y$ such that $f \sqbrk \FF \subseteq \GG$. We have to show that $f \sqbrk \FF = \GG$. {{AimForCont}} there exists $U \in \GG$ such that $U \notin f \sqbrk \FF$. By the definition of $f \sqbrk \FF$ this implies that $f^{-1} \sqbrk U \not \in \FF$...."
- 15:0615:06, 3 March 2024 diff hist +114 Image of Ultrafilter is Ultrafilter No edit summary
- 15:0315:03, 3 March 2024 diff hist +28 m Image of Ultrafilter is Ultrafilter/Proof 2 No edit summary
- 15:0115:01, 3 March 2024 diff hist 0 m Image of Ultrafilter is Ultrafilter/Proof 2 Usagiop moved page Image of Ultrafilter is Ultrafilter/Proof to Image of Ultrafilter is Ultrafilter/Proof 2 without leaving a redirect
- 14:5914:59, 3 March 2024 diff hist +834 N Image of Ultrafilter is Ultrafilter/Proof 2 Created page with "{{:Image of Ultrafilter is Ultrafilter}} == Proof == Let $A \subseteq Y$. Suppose $A \not \in f \sqbrk \FF$. That is, by definition of image filter: :$f^{-1} \sqbrk A \not \in \FF$ By definition of ultrafilter: :$\relcomp X {f^{-1} \sqbrk A} \in \FF$ As Complement of Preimage equals Preimage of Complement: :$\relcomp X {f^{-1} \sqbrk A} = f^{-1} \sqbrk {\relcomp Y A}$ Thus: :$f^{-1} \sq..."
- 14:3814:38, 3 March 2024 diff hist +27 Image of Ultrafilter is Ultrafilter No edit summary
- 12:0312:03, 3 March 2024 diff hist −43 Filter on Product Space Converges to Point iff Projections Converge to Projections of Point Undo revision 679594 by Usagiop (talk) current Tag: Undo
- 12:0112:01, 3 March 2024 diff hist +43 Filter on Product Space Converges to Point iff Projections Converge to Projections of Point No edit summary Tag: Reverted
31 January 2024
- 00:2900:29, 31 January 2024 diff hist −2 m Second-Countable Space is First-Countable/Proof 2 No edit summary current
30 January 2024
- 01:1501:15, 30 January 2024 diff hist +20 Second-Countable Space is First-Countable/Proof 2 No edit summary
- 01:1301:13, 30 January 2024 diff hist −751 Second-Countable Space is First-Countable hausestyle
- 01:1201:12, 30 January 2024 diff hist +512 N Second-Countable Space is First-Countable/Proof 2 Created page with "== Theorem == {{:Second-Countable Space is First-Countable}} == Proof == <onlyinclude> By {{Defof|Second-Countable Space}}, there exists a countable analytic basis $\mathcal B \subseteq \tau$. Then each $x \in S$ has the countable local basis: :$\mathcal B_x := \set { U \in \mathcal B : x \in U }$ {{qed}} </onlyinclude> Category:First-Countable Spaces..."
- 01:1201:12, 30 January 2024 diff hist +837 N Second-Countable Space is First-Countable/Proof 1 Created page with "== Theorem == {{:Second-Countable Space is First-Countable}} == Proof == <onlyinclude> By definition $T$ is second-countable {{iff}} its topology has a countable basis. Consider the entire set $S$ as an open set. From Set is Open iff Neighborhood of all its Points, $S$ has that property. As $T$ has a Definition:Countable Basis|countabl..."
- 01:0601:06, 30 January 2024 diff hist +351 Second-Countable Space is First-Countable Add a direct proof
19 January 2024
- 00:2900:29, 19 January 2024 diff hist +163 De Rham Cohomology of Sphere No edit summary
18 January 2024
- 01:2301:23, 18 January 2024 diff hist +56 Definition:Primitive Polynomial (Ring Theory) No edit summary current
- 01:1501:15, 18 January 2024 diff hist −83 m Definition:Content of Polynomial/Rational Reverted edits by Usagiop (talk) to last revision by Prime.mover current Tag: Rollback
- 01:1401:14, 18 January 2024 diff hist +83 Definition:Content of Polynomial/Rational Add a missing link Tag: Reverted
15 December 2023
- 18:4818:48, 15 December 2023 diff hist +209 Talk:Digamma Additive Formula No edit summary
- 18:4518:45, 15 December 2023 diff hist +174 N Talk:Digamma Additive Formula →Complex form of Sum of Logarithms?: new section
14 December 2023
- 22:5622:56, 14 December 2023 diff hist 0 Digamma Additive Formula No edit summary
- 22:5522:55, 14 December 2023 diff hist +44 Digamma Additive Formula No edit summary