User contributions for Jumpythehat

16:2316:23, 30 March 2022 diff hist +111‎ Definition:Product Topology/Finite Product ‎ The pre-edit definition of $\tau$ is the subbasis generating the topology, not the topology itself.
16:2216:22, 30 March 2022 diff hist +111‎ Definition:Product Topology ‎ The pre-edit definition of $\tau$ is the subbasis generating the topology, not the topology itself.

22:0122:01, 2 October 2020 diff hist +339‎ Talk:Countable Union of Finite Sets is Countable ‎No edit summary
21:5421:54, 2 October 2020 diff hist +781‎ Talk:Countable Union of Finite Sets is Countable ‎ →‎Definition of $h$: new section
21:4321:43, 2 October 2020 diff hist +8‎ m Countable Union of Finite Sets is Countable ‎ Corrected definition of $h$: $h$ is the desired witness to countability of $\bigcup \mathcal F$, so its codomain should be $\bigcup \mathcal F$ rather than the family $\mathcal F$
21:4221:42, 2 October 2020 diff hist +19‎ m Countable Union of Finite Sets is Countable ‎ Corrected definition of $g$: $g$ encodes the indices of elements of $\bigcup \mathcal F$ as chosen by the $q$-functions, and $g_1$ is the index of each element of $\mathcal F$
21:2321:23, 2 October 2020 diff hist −1‎ User:Jumpythehat ‎No edit summary

05:0005:00, 22 November 2019 diff hist 0‎ m Real Numbers are Uncountably Infinite/Cantor's First Proof ‎ This should read $\max$ instead of $\min$, otherwise the $b_{n}$'s are equal to the $a_{n}$'s

06:2606:26, 20 November 2019 diff hist +1,833‎ N Definition talk:Product Sigma-Algebra/Binary Case ‎ Opened topic: Current definition uses unmentioned abuse of notation

07:5907:59, 17 November 2019 diff hist +52‎ Definition:Product Sigma-Algebra/Binary Case ‎ The book reference uses the cartesian product notation in a way neither consistent with ProofWiki use nor mentioned in Definition:Cartesian Product. Here I replace the inconsistent notation with its definition in the reference.
07:3207:32, 17 November 2019 diff hist −15‎ Connected Set in Subspace ‎ I believe this proof is correct; removing Proofread tag.
07:1607:16, 17 November 2019 diff hist −539‎ User:Jumpythehat ‎No edit summary