3,852 reputation
11345
bio website bruno.stonek.com
location Montevideo, Uruguay
age 24
visits member for 3 years, 6 months
seen 1 hour ago

Math student in Université Paris 13.


Dec
10
comment What to look for in a proof?
Yes, I agree now. In fact I think both things are really useful: try to restate in your own words (and your own order!) and be verbose, i.e. understanding and justifying every single step, and also do what I said in the comment above: summarize the thing to the bare minimum, the core ideas.
Dec
10
comment What to look for in a proof?
Also, I believe this question/answers should be community-wikified.
Dec
10
comment What to look for in a proof?
In my eyes there is a bit of a contradiction between "try to summarize the proof" and "you are preparing a short lecture on the theorem (...) and you expect them to ask "why does that follow?" after every step", but perhaps I've misunderstood what you're saying.
Dec
10
comment What to look for in a proof?
One thing which in my very humble opinion is nice to do, is to try to reduce the proof to a couple of sentences. That way you do your best to capture the essence of the proof, which is the most important thing to do.
Dec
10
accepted Every 4-dimensional isotropic quadratic space of determinant 1 is hyperbolic
Dec
10
accepted In a complete perfect metric space, transitive distance-preserving maps are minimal
Dec
1
awarded  Popular Question
Nov
28
comment tensor product and direct product of algebra presentations
I think you meant $xy-yx$ on your displayed equation.
Nov
26
asked Is an integer a sum of two rational squares iff it is a sum of two integer squares?
Nov
26
comment Every 4-dimensional isotropic quadratic space of determinant 1 is hyperbolic
The thing is, the same proof that any 2-dimensional isotropic quadratic space is hyperbolic proves that any isotropic quadratic space contains an hyperbolic plane! That's the essential piece I was missing out on.
Nov
26
answered Every 4-dimensional isotropic quadratic space of determinant 1 is hyperbolic
Nov
21
accepted How to prove that two dilations of $\mathbb R^n$ are conjugate?
Nov
21
asked Every 4-dimensional isotropic quadratic space of determinant 1 is hyperbolic
Nov
14
comment In a complete perfect metric space, transitive distance-preserving maps are minimal
Gracias Gordo por la ayuda.
Nov
14
answered In a complete perfect metric space, transitive distance-preserving maps are minimal
Nov
13
asked In a complete perfect metric space, transitive distance-preserving maps are minimal
Nov
12
comment How to prove that two dilations of $\mathbb R^n$ are conjugate?
Thank you, it's all clear now. It's a nice idea to choose "fundamental domains" (hadn't thought of that in this context), define the homeos there, then extend as you do. I'll keep it in mind.
Nov
12
comment How to prove that two dilations of $\mathbb R^n$ are conjugate?
Thanks! That's really what I was trying to do. Your signs are a bit odd (remember I imposed $\lambda_i>1$, what you wrote works for $\lambda_i<1$). How did you figure out how to define $h^*$?
Nov
12
comment How to prove that two dilations of $\mathbb R^n$ are conjugate?
Thank you for your answer. Could you elaborate a little bit, maybe expand on what you mean by "take logs to reduce the problem to..."?
Nov
12
accepted Does Proj induce some equivalence of categories involving graded rings?