User contributions for Usagiop

17 April 2024

• 22:3222:32, 17 April 2024 diff hist −14‎ Locally Euclidean Space is Locally Path-Connected ‎No edit summary current
• 18:2118:21, 17 April 2024 diff hist +33‎ Locally Euclidean Space is Locally Path-Connected ‎No edit summary

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
• 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

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