Joseph Van Name
|
Registered User
|
I like turtles.
|
|
4h |
accepted | Equivalence relations in suplattices |
|
6h |
comment |
totally disconnected and zero-dimensional spaces Also, you referred to the fact that the quasi-components coincide with the components in any compact Hausdorff space. Why don't you incorporate a proof of this fact into your proof? I think that would be a more substantial than simply showing the easier parts of the proof. |
|
6h |
comment |
totally disconnected and zero-dimensional spaces I downvoted the answer. The standard definition of a totally disconnected space is a topological space where the components are the one-point sets. I have seen references where spaces where the quasi-components are singletons called totally separated spaces. I therefore suggest calling a space where the quasi-components are singletons totally separated spaces. |
|
8h |
answered | totally disconnected and zero-dimensional spaces |
|
1d |
comment |
Examples of interesting false proofs I know for a fact that at least half of the 12 people down voted this answer because they went on my profile and looked for the question with the lowest score just so they can downvote it because they were irritated about a controversial answer that I gave to another question. And I don't see how a pun is an uninteresting example of a false proof yet cancelling out the 6's in 64/16 to get 64/16=4/1=4 is an interesting false proof. |
|
Jun 16 |
comment |
Examples of interesting false proofs It seems like mathematicians are completely and utterly incapable of understanding even the lowest level of humor (i.e. puns). |
|
Jun 16 |
comment |
Explicit form of the homeomorphism between $C[0,1]$ and $C[0,1]\setminus 0$ This does not appear to be a homework question unless I am missing something. |
|
Jun 13 |
answered | Nearly all math classes are lecture+problem set based; this seems particularly true at the graduate level. What are some concrete examples of techniques other than the “standard math class” used at the *Graduate* level? |
|
Jun 13 |
comment |
on completeness of R_mn, the set of all rational functions of type (m,n) This question does not seem too trivial to me. |
|
Jun 13 |
comment |
Homeomorphisms and disjoint unions Since one of the spaces that Andy Putman referred to has a lot of legs and shows up in nightmares I think it is safe to call this space a monster! |
|
Jun 13 |
revised |
on completeness of R_mn, the set of all rational functions of type (m,n) Fixed grammar and improved formatting. |
|
Jun 9 |
awarded | ● Nice Question |
|
Jun 9 |
revised |
Are sums of sequences decidable? edited tags |
|
Jun 9 |
asked | Are sums of sequences decidable? |
|
Jun 7 |
answered | Defining a topology in the Power Set |
|
Jun 7 |
revised |
Defining a topology in the Power Set I added the general topology tag. |
|
Jun 7 |
comment |
Research topics restricted to students at top universities? I am one of exceptions. I worked in a totally different area than my advisor who was also in a different country every other semester. I turned out fine I guess. I guess that I am one of those independent people. |
|
Jun 5 |
comment |
Property of Mrowka The property of Mrowka is not preserved under surjective images without additional hypothesis. If $X$ is any topological space, and $X_{d}$ is the discrete space with the same underlying set as $X$, then the identity map $X_{d}\rightarrow X$ is continuous and $X_{d}$ satisfies the property of Mrowka, but $X$ may not. |
|
Jun 4 |
revised |
an elementary substructure of a natural numbers ultrapower edited tags |
|
Jun 4 |
answered | an elementary substructure of a natural numbers ultrapower |
|
Jun 3 |
accepted | Uniformities generated by metrics. |
|
Jun 3 |
answered | Uniformities generated by metrics. |
|
Jun 3 |
accepted | When is the support of a Radon measure separable? |
|
Jun 2 |
comment |
When is the support of a Radon measure separable? The product $\sigma$-algebra on $[0,1]^{I}$ contains every Baire set, so since $[0,1]^{I}$ is compact we can extend this Baire measure to a Radon measure on the Borel $\sigma$-algebra in a unique way. |
|
Jun 2 |
answered | Fixed point theorems |
|
Jun 2 |
answered | Equivalence relations in suplattices |
|
Jun 2 |
revised |
When is the support of a Radon measure separable? added 149 characters in body |
|
Jun 2 |
answered | When is the support of a Radon measure separable? |
|
May 28 |
accepted | complete metric space |
|
May 28 |
answered | complete metric space |
|
May 27 |
awarded | ● Mortarboard |
|
May 27 |
awarded | ● Enlightened |
|
May 27 |
awarded | ● Nice Answer |
|
May 27 |
revised |
First-order axiomatization of free groups added 41 characters in body |
|
May 27 |
accepted | First-order axiomatization of free groups |
|
May 27 |
answered | First-order axiomatization of free groups |
|
May 26 |
revised |
Embedding Theorem for topological spaces, and in general edited tags |
|
May 26 |
answered | Embedding Theorem for topological spaces, and in general |
|
May 25 |
comment |
What would be some major consequences of the inconsistency of ZFC? If we find an inconsistency with ZFC, then the apocalypse would happen!!! |
|
May 23 |
comment |
Do operations generate well-ordered sets only? You will need a bit more than being non-decreasing in each variable since $\lfloor Log(x+1)\rfloor$ is non-decreasing in each variable. |
|
May 23 |
comment |
Do operations generate well-ordered sets only? Can't you just take $f(x,y)=\lfloor Log(x+1)\rfloor$? |
|
May 20 |
revised |
Importance of separability vs. second-countability added 131 characters in body |
|
May 19 |
comment |
Importance of separability vs. second-countability Yes. I did mean the size of an ultrapower. |
|
May 19 |
revised |
Importance of separability vs. second-countability deleted 1 characters in body |
|
May 19 |
revised |
Importance of separability vs. second-countability added 231 characters in body |
|
May 19 |
answered | Importance of separability vs. second-countability |
|
May 17 |
comment |
Is there any proof that you feel you do not “understand”? Alexander's subbase lemma can also be proven using ultrafilters. |
|
May 13 |
accepted | Showing a filter with a certain property on the power set of $\mathbb{Z}$ is a one point filter |
|
May 11 |
comment |
How long can it take to generate a $\sigma$-algebra? Ali Enayat. Thanks for the answer. And Miller's book looks interesting, so I will want to look through it some time. |
|
May 11 |
revised |
Showing a filter with a certain property on the power set of $\mathbb{Z}$ is a one point filter added 5617 characters in body |

