4,021 reputation
11539
bio website
location sqrt(-1)
age
visits member for 5 years
seen 6 hours ago

 
  two queens
 
 
    mathematics and death
    not cheerful not sad
    guide me through the land
    pat me on my head
 
    they live
    in my one man nation
    i follow them
    to my destination
 
 
wh,
(long ago)



  polynomials over finite Galois field
  spread so evenly across their finite affine space
  i wish for a network of friends
  to count on


wh,
1996-03-05/06



Aug
24
comment Countable path-connected Hausdorff space
Right, Joel - Urysohn's function. Thank you Todd for pointing me to Joel's answer. (Frankly, the q. posed above should never be considered "research").
Aug
12
awarded  Nice Answer
Aug
11
awarded  Yearling
Aug
11
comment Mathematical software wish list
When you enter url like abc.HTML in an browser then you see the html-formatted text. *** When you enter url like abc.tex in a latex browser than you see the latex-formatted file.
Aug
10
comment Mathematical software wish list
What is an HTML browser?
Aug
8
answered Mathematical software wish list
Aug
8
answered Mathematical software wish list
Jul
24
awarded  Revival
Jul
9
comment Wanted: a “Coq for the working mathematician”
@MarkDickinson -- thank you. Thus does "sudo port" is a special port in Mac? I'll have to read this whole thread anew.
Jul
3
awarded  Enlightened
Jul
3
awarded  Nice Answer
Jul
3
revised A question in general topology
typo and trivial grammar
Jun
10
comment Looking for techniques of How to measure the Similarity/Dissimilarity between two images?
@RajeshD is right. Similarity with respect to what?
Jun
7
comment If $A>B>0$, can we always find a positive real number $\alpha$, $0<\alpha < 1$ such that $\alpha A \geq B $?
The general definition considers the complex field, not real.
Jun
7
comment If $A>B>0$, can we always find a positive real number $\alpha$, $0<\alpha < 1$ such that $\alpha A \geq B $?
The real part the relevant expression related to $\ A - B\ $ is greater than certain $\ \epsilon > 0\ $ when evaluated on the unit sphere. If you change $\ A-B\ $ a little, i.e. if you change $\ A\ $ a little then it'll be fine.
Jun
7
comment If $A>B>0$, can we always find a positive real number $\alpha$, $0<\alpha < 1$ such that $\alpha A \geq B $?
Naturally. Thank you. Can't you prove a little sharper result: $\ \alpha\cdot A\ >\ B\ $ ?
Jun
4
comment Extremely messy proofs
Banach used Baire category--simple and elegant.
Jun
4
comment Extremely messy proofs
@ToddTrimble -- yes, and more, it's a characterization: a topology $\ T\ $ in $\ Y\ $ is maximal (among non-discrete topologies) $\ \Leftarrow:\Rightarrow\ $ there exists a (unique) point $\ v\in Y\ $ such that all points of $\ X := Y\setminus\{v\}\ $ are isolated, and the family $\ \{V\cap X : v\in V\in T\}\ $ is a maximal filter in $\ X\ $ REMARK The principal maximal filters in $\ X := X_v\ $ correspond 1-1 to maximal topologies which are non-Hausdorff. (The max. filters with the empty intersection correspond to maximal topologies which are Hausdorff).
May
29
comment If $X$ is compact, is $[X]^2$ compact, too?
I'd vote to close this obviously non-research question if it were not for Ramiro's nice answer.
May
28
comment Hausdorff space $X$ with $X\cong [X]^2$
Adam, thank you.