User contributions for Jumpythehat
Jump to navigation
Jump to search
9 April 2022
- 10:5310:53, 9 April 2022 diff hist +4,958 Countable Product of Sequentially Compact Spaces is Sequentially Compact Added proof (needs cleaning)
8 April 2022
- 12:1312:13, 8 April 2022 diff hist +363 Talk:Sequence on Product Space Converges to Point iff Projections Converge to Projections of Point No edit summary
- 11:5911:59, 8 April 2022 diff hist −17 Open Projection and Closed Graph Implies Quotient is Hausdorff (Forgot to remove ProofWanted tag from last edit.)
- 11:1111:11, 8 April 2022 diff hist +901 Surjection that Preserves Inner Product is Linear Added proof
- 09:5509:55, 8 April 2022 diff hist +1,280 Open Projection and Closed Graph Implies Quotient is Hausdorff Added proof
- 09:2509:25, 8 April 2022 diff hist +2,555 Sets of Permutations of Equivalent Sets are Equivalent Added proof
- 08:3908:39, 8 April 2022 diff hist +806 Countable Basis of Real Number Line Added proof
- 06:3606:36, 8 April 2022 diff hist +390 Sequence on Product Space Converges to Point iff Projections Converge to Projections of Point Generalized result to all product spaces; proposed name change accordingly
30 March 2022
- 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 October 2021
- 22:1322:13, 22 October 2021 diff hist −3 m Borel-Cantelli Lemma Fixed typo
- 22:0422:04, 22 October 2021 diff hist +6 m Definition:Product (Category Theory)/General Definition Fixed typo
14 September 2021
- 15:1615:16, 14 September 2021 diff hist 0 User:Jumpythehat No edit summary current
2 October 2020
- 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
22 November 2019
- 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
20 November 2019
- 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
17 November 2019
- 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
15 September 2016
- 06:4306:43, 15 September 2016 diff hist −1 m Compact Hausdorff Topology is Minimal Hausdorff Fixed typo
29 July 2015
- 03:1903:19, 29 July 2015 diff hist +291 Closed Subset of Real Numbers with Lower Bound contains Infimum Added proof. Also added the requirement that A is nonempty (the theorem fails if A is the empty set).
13 March 2015
- 08:2308:23, 13 March 2015 diff hist +24 User:Jumpythehat No edit summary
22 February 2015
- 04:3204:32, 22 February 2015 diff hist +330 User:Jumpythehat No edit summary
11 August 2014
- 05:0005:00, 11 August 2014 diff hist +135 Interior is Subset of Interior of Closure Added proof.
5 August 2014
- 01:3101:31, 5 August 2014 diff hist +68 User:Jumpythehat No edit summary