MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

# Joseph Van Name

 2,516 Reputation 1414 views

## Registered User

 Name Joseph Van Name Member for 1 year Seen 27 mins ago Website Location Nowhere, Antarctica. Age 23
I like turtles.
 4h accepted Equivalence relations in suplattices 6h comment totally disconnected and zero-dimensional spacesAlso, 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 spacesI 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 proofsI 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. Jun16 comment Examples of interesting false proofsIt seems like mathematicians are completely and utterly incapable of understanding even the lowest level of humor (i.e. puns). Jun16 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. Jun13 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? Jun13 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. Jun13 comment Homeomorphisms and disjoint unionsSince 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! Jun13 revised on completeness of R_mn, the set of all rational functions of type (m,n)Fixed grammar and improved formatting. Jun9 awarded ● Nice Question Jun9 revised Are sums of sequences decidable?edited tags Jun9 asked Are sums of sequences decidable? Jun7 answered Defining a topology in the Power Set Jun7 revised Defining a topology in the Power SetI added the general topology tag. Jun7 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. Jun5 comment Property of MrowkaThe 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. Jun4 revised an elementary substructure of a natural numbers ultrapoweredited tags Jun4 answered an elementary substructure of a natural numbers ultrapower Jun3 accepted Uniformities generated by metrics. Jun3 answered Uniformities generated by metrics. Jun3 accepted When is the support of a Radon measure separable? Jun2 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. Jun2 answered Fixed point theorems Jun2 answered Equivalence relations in suplattices Jun2 revised When is the support of a Radon measure separable?added 149 characters in body Jun2 answered When is the support of a Radon measure separable? May28 accepted complete metric space May28 answered complete metric space May27 awarded ● Mortarboard May27 awarded ● Enlightened May27 awarded ● Nice Answer May27 revised First-order axiomatization of free groupsadded 41 characters in body May27 accepted First-order axiomatization of free groups May27 answered First-order axiomatization of free groups May26 revised Embedding Theorem for topological spaces, and in generaledited tags May26 answered Embedding Theorem for topological spaces, and in general May25 comment What would be some major consequences of the inconsistency of ZFC?If we find an inconsistency with ZFC, then the apocalypse would happen!!! May23 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. May23 comment Do operations generate well-ordered sets only?Can't you just take $f(x,y)=\lfloor Log(x+1)\rfloor$? May20 revised Importance of separability vs. second-countabilityadded 131 characters in body May19 comment Importance of separability vs. second-countabilityYes. I did mean the size of an ultrapower. May19 revised Importance of separability vs. second-countabilitydeleted 1 characters in body May19 revised Importance of separability vs. second-countabilityadded 231 characters in body May19 answered Importance of separability vs. second-countability May17 comment Is there any proof that you feel you do not “understand”?Alexander's subbase lemma can also be proven using ultrafilters. May13 accepted Showing a filter with a certain property on the power set of $\mathbb{Z}$ is a one point filter May11 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. May11 revised Showing a filter with a certain property on the power set of $\mathbb{Z}$ is a one point filteradded 5617 characters in body