« first day (734 days earlier)      last day (4302 days later) » 

12:00 AM
their intersection is a sphere
 
@mixedmath but then the problem is now in selecting the common basepoint
 
it's path-connected, and you can choose any basepoint on the sphere you want
 
@mixedmath oh wait
 
why not the south pole? it's so often neglected in favor of the north pole
 
but I can take the basepoint to be some point in $U$ and some point in $V$ that is also in $\Bbb{R}^n - \{x_1,\ldots,x_m\}$??????????????????
 
12:01 AM
@DavidWheeler Isn't that unique by the definition we just gave?
 
I can't parse that because of the number of question marks
 
@mixedmath :D
 
but you can choose any point in the intersection of $U$ and $V$ to be your basepoint
 
@mixedmath I was so stupid I thought I always wanted it to be the center of the ball :D
 
yes, I saw that, and that's not even in the space
 
12:02 AM
but they're path connected so it does not matter where I pick the basepoint, how stupid I am....
 
I see why you were confused
 
@mixedmath hahahahahahah
silly me
 
the point is, we didn't define f in terms of the equation, but we did define f specifically so that the equation would hold
 
oh god facepalm*
 
@DavidWheeler Right. But now with the infinte case, what do we do?
 
12:03 AM
it's no different
 
This is a craaaazy line: \convertword[e]{\thestring}{dollar}{$} % $ To have emacs stop nagging.
 
we're just indexing by A, instead of {1,2}
 
Because we cannot write out $f($somemanydamncoordinates$)=($somanydamnfunctions$)$
 
@mixedmath I think I got the problem now
 
great!
 
12:05 AM
remember when you asked me: "what do you mean by $(f_\alpha(x))_\alpha$?"
 
@mixedmath but I am always curious how does van kampen allow me to homotope my path around $x_m$
@mixedmath because the idea is I have some loop in R^n minus $m$ points
I can consider it as a loop in $R^n$ minus $m-1$ points
but I need to make sure when I homotope it to the basepoint it does not pass through $x_m$
 
@DavidWheeler What do you mean by that? =P
 
@mixedmath very interesting how van kampen kills this.....
 
just what we did with the two-factor version, except we now have "alpha-many coordinates" instead of just 2
 
@mixedmath thanks anyway :D
 
12:07 AM
@BenjaLim Is that theorem this one?
 
@PeterTamaroff yes :D :D :D
@PeterTamaroff what da ya think of the theorem?
 
@BenjaLim Do you understand that diagram?
 
yes :D
 
@BenjaLim Pffff WTF man.
 
@PeterTamaroff with a bit of explanation I can even tell you how the map $k$ is defined :D
@PeterTamaroff what is meant by this?
 
12:10 AM
@BenjaLim That it seems amazingly complex.
 
it's actually not that bad...
 
I will die out of bordom in Linear Algebra this quatrimester.
It is very long before I will start studying all that.
 
For a start $i_1$ and $i_2$ are just induced homomorphisms :D
 
You finished your first year when?
 
last year november
 
12:12 AM
@BenjaLim And when did it start?
 
feb 2011
@PeterTamaroff I was only 17 then :D
 
@BenjaLim Did you finish High School early?
 
@PeterTamaroff I finished it in May 2010
@PeterTamaroff why?
 
@BenjaLim When is your bday?
 
ok, does van kampen say that we can induce a pushout from a pushout using the functor $\pi_1$?
 
12:17 AM
@DavidWheeler yes
@DavidWheeler But the diagram I know has a different guy in the middle...
 
@BenjaLim I finished high school on december last year! =/ Because I'm from July the 6th.
 
oh god....
 
"guy in the middle"?
 
I don't have a free product there
 
what kind of product "do" you have?
 
12:19 AM
I actually have $\pi_1(X)$ there
 
well, where do you put "k"?
 
leo
hi all!
 
hi
@DavidWheeler in my diagram I have a map $k$ out of the fundamental group of $X$ to some group H
 
oh. that works, since it's iso.
 
yes
 
12:24 AM
@BenjaLim I wanna tell all the math prof of my uni "come on, teach me, now!" =P
 
what does that mean?
 
in that case, H is the free product
 
yes
 
i always think of the figure 8-space
 
yes the wedge sum
 
12:25 AM
where you get Z*Z
 
ok I have to go now guys
bye
 
Oh... cool off-diagonal bounds. Kickass.
 
leo
:-O
 
Is that even possible? [citation needed]
 
Is Tor left adjoint to Ext?
 
1:32 AM
@DylanMoreland Hey.
 
[I cannot believe that I logged back in just to figure this out, but:] What happened with Arturo?
@PeterTamaroff Hi Peter. How're things?
 
@DylanMoreland Did something happen? I think he just decided to take a brake.
@DylanMoreland Good. Studying some General Topology.
 
@PeterTamaroff Ah, good for him then.
 
@DylanMoreland It is very probably I asked you this more than twice, but, what do you do?
 
@PeterTamaroff Probably. I'm a grad student. I work on number theory under the user Matt E.
 
1:36 AM
@DylanMoreland Matt Emerton?
 
@DylanMoreland I heard he's a "big fish" so to speak.
The term sounds weird. I mean, just that he is quite the professor.
 
He's pretty amazing.
 
@DylanMoreland Hehehe, yeah.
@DylanMoreland Does topology have any place in number theory?
 
Hard to say why. He looks for insight. That seems like an obvious thing to do but I don't know, he puts it into practice about as well as anyone I've seen.
@PeterTamaroff It depends on what you mean.
In a sense, almost everyone uses topology.
 
1:49 AM
@DylanMoreland I mean, does topology (or any of its branches) play an important role in modern number theory?
 
I don't think there are serious uses for general topology.
 
@DylanMoreland OK. But say, algebraic topology?
 
There's still a lot of wiggle room there.
At a high enough level algebraic topology seems indistinguishable from hardcore algebraic geometry to me.
Look at what Lurie is doing, for example.
Matt has been doing a lot with the cohomology of arithmetic groups. That's something to look into. That's a wild subject.
The book by Ken Brown is a good one.
 
@DylanMoreland Who's Lurie?
 
But I would say that the purely algebraic machinery you'd find in Hatcher is usually not enough to tell you what you want.
You need some other input. Often that has to come from Lie algebra methods or representation theory or blah blah.
But computing homology of certain manifolds with rational coefficients? That sounds like algebraic topology to me.
 
1:55 AM
@DylanMoreland I'm just a soon to be freshman. I was "complaining" today on how I'm starting univ. kinda late.
 
It's also interesting to note that topologists have uses for modular forms. See this, for example.
 
@DylanMoreland Dylan, sorry to disappoint you, but I just know very few elementary number theory.
 
But I don't see how any of that interacts.
I'm not disappointed. I don't know how else to answer these questions, though.
 
@DylanMoreland Hehehe that is a good point.
 
Back in a bit, maybe. Good luck with topology!
 
1:59 AM
@BenjaLim You there. I have a question.
 
2:28 AM
quiet room now
 
leo
YEP
 
@mixedmath Hey
@leo Hola!
 
oh hiya
 
leo
@PeterTamaroff hola!
 
@mixedmath I have a question about Munkres' book.
@leo How's it going?
 
2:32 AM
ok, I seem to be answering lots of algebraic topology questions today
but some regular topology should be okay too
 
leo
@PeterTamaroff tomorrow I start new period
new semester
 
where are you from, that it's called new period?
 
@mixedmath Oh, but it is about the layout.
 
oh, alright
 
@mixedmath Hehhehee, he's from Costa Rica, if I recall correctly.
 
2:33 AM
should I go and grab my copy?
 
@mixedmath Nah.
 
leo
yes I am :-)
 
Just, why is the Set Theory chapter so "heavy"?
 
good memory
 
leo
it is periodo o ciclo in spanish
 
2:34 AM
I don't know what you mean. How is it 'heavy' ?
 
Cycle sounds better.
 
leo
but semestre
 
no es un semestre?
 
leo
is used as well
@mixedmath yes
 
ah, okok. pura vida ;p
 
leo
2:35 AM
@mixedmath Pura vida! :-)
 
@mixedmath Well, I mean it seems to be very detailed.
 
leo
why some books says: "Point Set Topology" and no just "Topology"?
 
I don't seem to recall that it was any more detailed than anything else. Would you prefer it to not be very detailed?
 
@leo Point Set means General. I would think they would deal with say, Algebraic Topology, but rather the elements of Topology.
 
leo
oh
I see
 
2:38 AM
@mixedmath Dunno. It's just I've been doing quite a little topology and I never used stuff in there.
 
oh, that's really funny. So, it turns out that I never really learned much topology outside of what one picks up in analysis classes before I learned algebraic topology and differential geometry
my reference for stuff I didnt know was Munkres, and I've found that I've used more or less all of it at some time or another
or at least, all of teh early chapters
 
@mixedmath Hehehe. Well, I happened to get hooked on topology when I started with Rudin. Do you happen to have a copy?
I wanna show you something.
 
hmm, let me see if I have that here.
 
leo
 
@leo I happen to read that daily. Some of them are really fun, some are borderline crap.
 
2:42 AM
it must be at my office - I know I have it, but it's not here (at my home)
 
@mixedmath OK, nvm, I'll show you.
Wanna learn some topology in 10 seconds? Here we go!
 
that's lovely. gogogo, topologize!
 
It's like: BAM! There you go boy!
 
It's "perfect" if it's closed and all points are limit points?
who knew?
 
I love definition lists like that. Just, here's everything, now try to develop an understanding of it.
 
2:46 AM
@mixedmath Are you a professor?
 
Much better than having to hunt through the text to find what it is that you need to learn.
 
no, I'm a second-year graduate student at Brown University
 
@mixedmath Oh, that's why you have an office.
You're in your early 20s I take it?
 
yes indeed
 
@mixedmath And what are you working on?
 
2:49 AM
I work under Dr. Jeff Hoffstein on analytic number theory. He does multiple dirichlet series (which is to regular dirichlet series what multivariable calc is to calc) and automorphic forms. I haven't focused yet, but I'm looking into prehomogoneous vector spaces and the work of Bhargava
(if that means anything to you - I can give some references, etc., if you want more)
 
@mixedmath Hehehe not really. I barely remember reading what Dirichlet series were (in terms of Dirichlet characters, which are IIRC some kind of cyclic groups) but I never really studied anything of it.
I am interested in Analytic NT, though.
 
close enough
 
nice
 
But now I want to get into Real Analysis and Algebra (mainly Linear and Abstract, which I really know very little about)
And Topology.
I am blindedly obsessed with topology. Fuck me, but well...
 
that's exciting. Stay with what you love
 
2:53 AM
Yeah, that reminds me a bit of me. I desperately need to study calc-related things to prepare for the Math GRE, but I'm just studying algebra and topology instead because they're more fun.
 
@NathanBouscal GRE?
 
oh, that's a different, much sadder story. You need to know that calc for the GRE
 
leo
analysis is fun
 
@PeterTamaroff Exam to get into grad school
 
the GRE is a test taken in the US to get into grad schools.
 
2:54 AM
@mixedmath I know =/
 
@mixedmath But should Calculus be left as "given" like, how did you graduated if you don't know calc....???
 
I didn't graduate with a math degree
 
@NathanBouscal Oh, my bad,
 
I do know calc, I'm just very rusty on a lot of the applications of it
I'm a really atypical case in general though
If a grad school ever takes me it will be really amusing :)
 
@mixedmath I'm a little sad that I have to start working this week. It might sound stupid or desconsiderate, since work is something many would love to have. I'm not greedy or anything, I would only like to have lots of money to have more time to study (or give off to charity and "good deeds": like schools and unis)
 
2:57 AM
@PeterTamaroff Most of us feel that way
 
if it makes you feel better, Brown's attitude towards the math GRE is really funny. It gives a lower cutoff point (say, 60-65 percentile or something): if you have less, than you don
 
The only thing I want money for is so that I don't have to waste time working for the rent
 
t get in, but that's about that
 
Well, my problem is I need a good GRE score to make up for the fact that I got a mediocre GPA in an unrelated major at a mediocre school :P
 
@PeterTamaroff what will you be doing?
 
2:58 AM
@mixedmath I'm a tennis teacher. =)
 
oh, well, you're right again
 
I know I can get a very good score, I'm an excellent test taker, I just need to study the stupid calculus
 
@NathanBouscal HEY!
Calculus is NOT stupid!
 
Haha
It just isn't exciting for me. At all.
 
it's replay value is too low
 
3:01 AM
Yeah, I feel like it doesn't help me understand other things in the way that learning algebra or topology does.
 
@anon What does that mean?
 
Every time I learn something new in algebra, I am able to understand so much more other stuff that I read.
 
@NathanBouscal Are you using any particular book?
 
For which?
I'm studying out of about 10 books right now :P
 
3:02 AM
one might argue that 10 books is too many ;p
 
Yes, and one would likely be correct :)
I am just impatient
 
@MarianoSuárez-Alvarez Hello. Quite the day in the city today, huh?
 
I want to learn everything all at once, but my brain doesn't quite work that well.
 
@NathanBouscal Wut?
 
@PeterTamaroff What what?
 
3:03 AM
@NathanBouscal I mean a book for Algebra.
 
Ah. For Algebra I'm currently studying out of Dummit & Foote and also out of Artin
I also have Hungerford sitting on my shelf but haven't read any of it yet.
And I have a linear algebra pdf of Hoffman and Kunze
 
Does anyone think it is kind of weird to write $O=\bigcup_{x\in O}B_{x}$?
 
no
 
@anon Just checking. Seems OK to me.
Bleh.
 
no, a construction of O wouldn't presuppose what elements are in O.
 
3:08 AM
@anon Yes. I derpped.
 
I would call it an observation
 
leo
@PeterTamaroff yes indeed
 
leo
3:27 AM
@PeterTamaroff what about this one
 
@leo HAHAHHAHAHAHAHA
 
@PeterTamaroff Yeah :-/
 
@MarianoSuárez-Alvarez I heard there was a train wreck once again, which interrupted the subway news broadcast. =/ Pretty chaotic.
 
yeah
it is getting pretty absurd
 
3:35 AM
@MarianoSuárez-Alvarez I'm baffled by what some politicians are saying. It seems just unreal. I'm not a very political person so to speak, but it is just too much.
Have you seen this?
"El 25 de mayo de 2003, asumió como presidente de la Nación, el Dr. Néstor
Carlos Kirchner. Uno de sus objetivos fue evitar que continúe la desmovilización
política hasta ese momento causada por la represión, frustración y la indiferencia
popular.
Rápidamente la línea general de acción que desplegó el presidente Kirchner fue
clara y concreta.
**Sincerarse en el lenguaje y las conductas, y que cada dirigente asuma, sin hipocresía, su verdadera expresión política. Superar con nuevas ideas las divisiones internas de las fuerzas mayoritarias que estaban estancadas. Dar cauce y referencia nacion
 
wehre did you get that? :-)
 
@MarianoSuárez-Alvarez Its in the page of the Ministry of ${\rm int}(\text Argentina)$
 
@MarianoSuárez-Alvarez What do you mean by that?
 
«cute» as in «scary»...
 
3:45 AM
@MarianoSuárez-Alvarez Strange use of words, but I agree.
I'm mostly scared about the delusion they have. Sometimes I don't know if they are purposedly lying or if they just are psychotic.
Principio de la transposición. Cargar sobre el adversario los propios errores o defectos, respondiendo el ataque con el ataque. Si no puedes negar las malas noticias, inventa otras que las distraigan. ...directo del manual de Goebbels
Its kind of cliché doing that comparison, but what the hell.
 
thanks for the link
very interesting
 
@MarianoSuárez-Alvarez It is very interesting, yes. And it is up to date.
But, as someone I know said, "it won't work on the elderly, but rather on certain young people"
"Queridos compatriotas, la Argentina cambió. Sólo nos faltan las Islas Malvinas
para sentir que nuestra patria está completa"
 
4:07 AM
Sisi, esa frase es extraordinaria.
 
@MarianoSuárez-Alvarez Pregunta: que aplicacion tiene la topologia $A$ y la topologia $\ell$ de $\Bbb R$. La primera es la topologia que surge de la base $(a,b)$ mas todos los conjuntos de la forma $(a,b)-\{1,1/2,1/3,\cdots\}$ y la $\ell$ es la "lower limit topology" con base $[a,b)$
Le digo $A$ de Arquimedeana mejor, para evitar disgustos.
Munkres le dice $K$
 
la primera, ninguna
es solo un ejemplo
La segunda da la nocion de continuidad superior (o inferior, o a izquierda, o a derecha... alguna de ellas)
 
@MarianoSuárez-Alvarez Parece que solo las menciona para mostrar que son mas finas que la topologia estandar pero no son comparables.
@MarianoSuárez-Alvarez Es algo complicado?
 
@MarianoSuárez-Alvarez La nocion de continuidad superior.
 
4:15 AM
para nada
debe estar en wikipedia
 
@MarianoSuárez-Alvarez Aparece en Teoría de la Medida (Measure Theory), puede ser?
 
puede ser
buscá semicontinuidad
 
@MarianoSuárez-Alvarez Bullseye
 
una funcion f:R\to R es continua sii para cadaa sucesión convergent $x_n\to x$ es $\lim f(x_n)=f(x)$.
Es superiormente continua si $\lim f(x_n)\leq f(x)$.
(o $\limsup$, en realidad)
 
@MarianoSuárez-Alvarez Claro.
No suena muy interesante =P
 
4:18 AM
es útil
hay muchas funciones que son semicontinuas pero no continuas
si interpretás el valor $f(x)$ como una medida de la bondad de $x$, entonces la semicontinuidad te dice que «pasar al limite no empeora los puntos»
 
@MarianoSuárez-Alvarez En este caso, un funcion continua podria redefinirse y para que sea continua continua?
 
esa idea es extremadamente útil
no
 
@MarianoSuárez-Alvarez Hehehe OK.
 
y en esa forma es que aparecen muchas funciones semicontinuas: como medidas de bondad de cosas
 
@MarianoSuárez-Alvarez "bondad" en que sentido? (no tengo tanta empatía con mi teoría =P)
 
4:23 AM
sabes lo que es el rango de una matriz?
 
@MarianoSuárez-Alvarez Ahora lo se. =)
 
ok :-)
el rango es una función semicontinua de las matrices a los enteros
 
leo
@PeterTamaroff ha ha ha ha ha :D
 
si todas las matrices de una sucesión tienen rango$\leq k$ y convergen a una matriz, entonces la matriz límite tiene rango $\leq k$.
(pero puede ser que el límite tenga rango estríctamente menor que $k$)
en este ejemplo, una matriz es buena si tiene rango grande, y la semicontinuidad de la funcion rango dice que al tomar un límite las matrices no mejoran
 
@MarianoSuárez-Alvarez Hmmm. Justo el 17 empiezo Algebra Lineal. Pero me interesa mas el Algebra Abstracta. Tengo un libro sobre Algebra Lineal que tiene 10 caps, estudie del primero y no segui. Todavia no le agarre gusto, supongo.
 
4:28 AM
no hay ninguna diferencia
es IMPOSIBLE aprender "algebra abstracta" sin saber algebra lineal
de hecho, es imposible hacer matemática sin saber algebra lineal
 
@MarianoSuárez-Alvarez Hehehe me imagino. Por eso empece por algebra lineal.
@MarianoSuárez-Alvarez Se que es una pregunta un poco estupida, pero "imposible" en que sentido?
Este es el indice
1 Espacios vectoriales
2 Matrices
3 Transformaciones lineales
4 Espacio dual
5 Determinantes
6 Diagonalizaci¶on
7 Forma de Jordan
8 Espacios vectoriales con producto interno
9 Variedades lineales
10 Formas bilineales
 
en que es imposible :-)
trust me
 
@MarianoSuárez-Alvarez I'm a mathematician.
 
I completely disagree that it's impossible to learn abstract algebra without knowing linear algebra.
Linear algebra is really important, yes, but you can still learn a great deal of abstract algebra without it.
 
**Defnicion 3.32** Sea $A \in K^{n\times m}$ Se llama rango columna de $A$, y se nota ${\rm rg}_C(A)$, a la dimension del subespacio de $K^n$ generado por las columnas de $A$, es decir, si $A = (C_1 \mid\cdots\mid C_m)$,
entonces ${\rm rg}_C(A) = \dim< C_1; \cdots ;Cm >$
Mediante el calculo del rango columna de una matriz A es posible obtener la dimension del subespacio de soluciones del sistema lineal homogeneo asociado a $A$.
@MarianoSuárez-Alvarez Esto esta en el libro. La definicion de Wikipedia parece ser un poco mas "light".
Es mas formal la definicion del libro, supongo.
Es bastante riguroso el libro. Antes de definir un $K$-esp. vectorial define una operacion binaria, un grupo, un anillo, un cuerpo, una accion, y despues un $K$-ev. Por eso me interese un poco mas con este libro.
 
leo
4:54 AM
bueno señores, buenas noches!
 
5:13 AM
did i walk into the wrong country? i meant to turn right at Cuba.....
@NathanBouscal i would argue that in some respects linear algebra makes more sense if you learn a little abstract algebra first...but perhaps that is asking too much of people
 
@DavidWheeler Yeah. I can definitely say that once I learned some abstract algebra, certain aspects of linear algebra made significantly more sense.
 
what i think is "neat" about linear algebra is it's very easy to see how the abstract and the concrete inform each other
 
6:03 AM
~ ....@ ~
tumbleweed
 
~....<ZZZZZ*....*ZZZZ>.....~ weed-tumble
 
6:17 AM
@DavidWheeler quiet tonight
 
6:45 AM
quite
 

« first day (734 days earlier)      last day (4302 days later) »