« first day (1308 days earlier)      last day (3699 days later) » 

8:00 AM
Nahnah's still going?
2
 
8:21 AM
eats r9m
 
r9m
@usukidoll you can't afford to eat me ... rather your digestive tracts can't :P
 
k pucks r9m out and it lands on some random user
 
r9m
ouch :(
@osimerpothe just curious ... are you a bengali ?
:)
 
yes
Why ?
Are you an indian ?
@ouch
 
r9m
so am I :) bengali
 
8:28 AM
congrts
 
r9m
well there's no reason to congratulate me ... it was not my choice to be :P
 
That means , you are not happy by being a bangali ? :(
ok . help me finding that this term converges :
 
@BalarkaSen You here?
 
$\{x-\dfrac{x^2}{2!} + +\dfrac{x^3}{3!}++\dfrac{x^4}{4!}+ ....... \} $
 
r9m
its difficult to decide about whether I should be happy or feel otherwise if I was born like that :P ... in that sense :P
 
8:32 AM
@r9m Balarka is a Bengali too.
 
r9m
@Sawarnik ya I know
 
This chat is now a group of Bengali
We win a chat forum . :p
 
@r9m And me?
 
SURPRISE ! * eats the entire chat*
 
@BalarkaSen I m back. Hullo.
 
8:33 AM
The control of this chat forum is now under Bengali
:D
 
r9m
@Sawarnik are you ? I did'nt know !!
 
@r9m Oops I am not. I m a Bihari. Close neighbors, anyway :)
 
r9m
@Sawarnik k :)
@osimerpothe $e^x -1 - x^2$ ?
 
@osimerpothe What is a double plus sign?
@r9m @osimerpothe Please tell me, I m n idiot.
 
r9m
@Sawarnik what ??
 
8:41 AM
oh, ok. leave it.
@r9m Your location says Chennai?
 
r9m
@Sawarnik ya ... I'm studying in Chennai :)
 
@r9m You are quite specialized. I am just a poor class 8 boy, you know.
 
r9m
@Sawarnik I thought you took your age modulo 14 :P
 
@r9m You were wrong.
@BalarkaSen Don t get me wrong too. I was just keeping my talking mouth shut so that you could do whatever for that appointment and study topology.
 
 
1 hour later…
9:58 AM
@Sawarnik I am done with the appointment and topology is nowhere near my schedule, so no harm'd be done =)
@r9m Studying in what field?
 
r9m
@BalarkaSen Maths :)
 
@r9m I know, but interested in exactly what branch?
 
r9m
I don't know ... I'm still too inexperienced to specialize my study :)
but I like analysis and topo
 
But you like a particular branch i guess?
@r9m Aha, exactly the opposite of what i like.
 
r9m
I like NT too :)
 
10:04 AM
=)
I like algebra too.
especially ring-field-galois
 
r9m
i haven't read galois yet .. i guess its interesting :)
 
it is =)
 
r9m
@BalarkaSen what do you like ?
 
analytic and transcendental NT mainly. I like to think combinatorially too, so CNT adds.
I am learning algebraic nt.
pretty interesting.
 
r9m
k .. but way beyond my level :D
 
10:11 AM
I have to start on comm. algebras. pain in the neck.
 
r9m
is your age really 14 ? then you are super advanced dude ... when I was 14 I could'nt spell banana :)
3
 
Ban(ach)Ana(lytic)Mani(fold)
Just spelled it.
 
r9m
awesome :D ... I did'nt know there is something like that :)
 
Hi, how can I say with word $f\leq g$ ? thanks
 
@Nico f is bounded above by g
If f and g are functions.
 
10:17 AM
@Nico Less than or equal
 
@BalarkaSen Thanks!!
 
@r9m banach analytics are all yolo.
@N3buchadnezzar I have a problem for you. In elementary number theory.
 
r9m
@BalarkaSen Idk && Ihni
 
wat?
 
r9m
I dont know and I have no idea :P
 
10:21 AM
Prove that $$1 + \frac12 + \frac13 + \cdots + \frac1n$$ is never an integer, except $n = 1$
I know everyone can do it, I just want to see your approach.
 
@BalarkaSen I have seen the proof for that one ;)
 
@N3buchadnezzar Give away.
Which proof do you have in mind?
 
@BalarkaSen I'd do it with Bertrand's postulate. Seems the simplest.
 
64
Q: Is there an elementary proof that $\sum \limits_{k=1}^n \frac1k$ is never an integer?

Anton GeraschenkoIf $n>1$ is an integer, then $\sum \limits_{k=1}^n \frac1k$ is not an integer. If you know Bertrand's Postulate, then you know there must be a prime $p$ between $n/2$ and $n$, so $\frac 1p$ appears in the sum, but $\frac{1}{2p}$ does not. Aside from $\frac 1p$, every other term $\frac 1k$ has $k...

 
@DanielFischer Exactly. You the ANTst.
 
10:27 AM
I learned the accepted answer here =)
 
I hate that $2^{\mathcal l}$ proof
 
@BalarkaSen Whether the A stands for analytic or algebraic, I'm not. I'm just an ENTst.
 
Though it's the standard.
@DanielFischer ENT?
 
@BalarkaSen Elementary
 
Oh, I thought you were an Ent
Are you?
Someone's polluting the starboard.
 
10:35 AM
Greetings, all! Just wondering if there is anyone around who is fluent in Russian and can help translate the following question:
-4
Q: Формулы решения Диофантовых уравнений

user128505Мне интересно вот, что. Формулы выписанные ниже есть решение в общем виде Диофантова уравнения Лежандра. Они позволяют сразу по коэффициентам получить формулу описывающую их решения. Решения будет в том случае когда хоть один корень есть целое число. Когда ни один корень не будет целым, надо буд...

 
OK, next problem : Prove that $$\sum_{1 \leq i\leq j\leq n} \frac1{ij}$$ is integer for only finitely many $n$ (determine those, if possible)
 
@BalarkaSen I'm not at all connected with anything of "Lord of the Rings".
 
Have fun with the exercise above while I bbl.
Byes!
Just ping me up before you go-go, cause I ain't going on solo
 
This is quite funny.
His face is also funny.
It looks like he's had it lifted and the doctors who did it meant a bit too well. Now there is not enough skin left to move any part of his face. Hahaha.
 
r9m
10:56 AM
@MattN. Travoltifying Travolta is Victoria ?? :P
 
11:10 AM
@r9m : D
Good one. I didn't try that.
I get Jan Thozomas for John Travolta.
John Trolololta.
 
someone please tell if my answer is incorrect
please!!!
 
Why is:
$\sum_{n=0}^{\infty} nz^n = \sum_{n=0}^{\infty} (n+1)z^{n+1)$

I would think that this is not true. But they use it here:
 
@Utkarsh It's not correct, as multiplying by 5 on both sides makes it -10/9=25/x
@Kasper Because it is the same as $\sum_{n=1}^\infty nz^n$. Then change indices.
 
@KarlKronenfeld Oh! thanks :-)
 
Oh of course, I'm stupid haha, thx !
but wait, doesn't it matter where the series start ?
 
11:20 AM
I was ignoring $0z^0$ ;)
If you dont know what I mean by change indices, I can explain that better.
 
Oh wait.. I think I get it.
Let me try to explain to myself.
$\sum_{n=0}^\infty nz^n=0+\sum_{n=1}^\infty nz^n=\sum_{i=0}^\infty (i+1)z^{i+1}$
what is happening here , with those stars :P
3
 
somebody is going insane
@Kasper yep
 
$i = n-1,i+1=n$
 
11:48 AM
I got a silver badge thanks to that star madness :P
 
Hey all ! I have a question on Real Analysis !
Basically, I have a question that reads as:
Let $A$ be any infinite set and $B$ any countable set. Prove that $|A \cup B|$
I was able to create a nice bijective function between $A$ and $A \cup B$ ASSUMING that B was an infinite set. However, now if I take the case where $B$ is FINITE - I hit a few problems. In fact, I believe that if B is finite, equality does not hold. Any advice ?
 
Well, what's your bijection when $B$ is countably infinite?
And yes, $|A\cup B|=|A|$, when $B$ is finite.
 
When I assumed B was an infinite set, I created a function on the lines of $A \to B \to \mathbb{Z} ^+ \to A \cup B $
 
Composition of functions.
 
12:02 PM
That's not a bijection though.
 
Oh, then my proof is flawed. Any advice?
 
@eXtremiity Yeah, take a countable set $C\subset A$. It is sufficient to prove that $|C\cup B|=|C|$.
The key is that you can enumerate the elements of $C$, $c_1,c_2,\dots$.
 
The sufficient condition you have proposed. Is that a theorem ?
 
Well, you can construct a mapping $A\to A\cup B$ by holding the elements of $A\setminus C$ fixed and using a bijection $C\to C\cup B$.
This edit is finally correct. :P
 
I see ! Well, I'm going to try that tomorrow morning then. Thanks for your help @KarlKronenfeld. Appreciate it. Hopefully I smash it out tomorrow then :) .
 
12:13 PM
@eXtremiity You're welcome!
 
@Karl
I have got a problem for you
 
@BalarkaSen ok
 
Find a poly over $\Bbb Q[x]$ with Galois group $F_{20}$
Justify your constructions
 
what's $F_{20}$?
 
Frobenius group (ord 20)
 
12:28 PM
meh
 
I wanted you to say "nah" instead of that.
 
I knew you were trying to...
 
As for the exercise, anyone interested can see Dummit. It is a known result that solvable quintics over $\Bbb Z[x]$ have galois groups as subgroups of $F_{20}$ and you need some trickseys to rule out the proper subgroups.
@KarlKronenfeld nah
@Karl Consider $\frac{\Xi}{\overline \Xi}$ such that $\bar{a}(t_{a_i})$ if a functor from $\Bbb {\hat O}$ to ...
 
All I got is that you're using some category representation of some sort of dual of the octonions..
@BalarkaSen Nevermind, ok, go on. ;)
 
I am showing you the epic bad notations.
 
12:36 PM
The only bad one is the first one. Why don't you like the other two?
 
$\bar a$ is not really a very good notation for a functor.
 
And $t_{a_i}$ is too clumsy.
 
@BalarkaSen It's also absolutely necessary is some situations (to my knowledge)
 
Also, I could have added $\prod_{\bigcup_i} \Pi_x$
 
12:38 PM
Though, I'd use $t_{n_i}$
 
Where $\Pi_x$ are some field elts
which probably commute under $\cup$
 
r9m
does a number-theorist ever complain about clumsiness of representations ?? I had no idea :P
 
And also $\left (^b a\right ) ^B A$
For tetrations
 
Yeah, that's crazy
 
@r9m What do you mean?
@KarlKronenfeld So is $a \uparrow^2 b$
 
r9m
12:40 PM
i don't know .. just ignore me :)
 
You never know whether you want $a \uparrow^2 (b \uparrow c)$ or $a \uparrow (^2 b) \uparrow c$
In mimetex, I mean.
This looks fine here.
@KarlKronenfeld The superexponential notation is best here, I'd say.
That exp (blahs above) (blahs below) blah
 
ok I can't help it..
@BalarkaSen nah
2
 
Star it, everyone.
@Karl I just generated a math paper with you.
It's on differential measure theory.
 
boring
 
[12] K. Kronen feld and I. Thomas. Some reducibility results for isomorphisms.
It's published on Portuguese journal of elementary logic.
 
12:49 PM
Close. Should be Kronen f eld
 
My bad typed wrong.
OK, another try with correct names :
"Pseudo-Partially Continuous Graphs and General Arithmetic"
From the intro (the first line) : "It was Pythagoras who first asked whether Bernoulli arrows can be described."
 
Yeah, I wrote that. Thanks for reminding me, I guess.
 
@KarlKronenfeld You wrote it with me, man
 
WHAT?!?!
You can't just insert your name in my work like that!
 
From one of the reference "B. Sen. Kolmogorov monodromies over topoi"
This thing gives me a good laugh.
@Karl You wrote a paper with @Daniel?
 
12:56 PM
Yeah, about Cofinte Syzygy Algebras
(CSA for short.)
 
"Laplace Algebras for a Stochastically Hyperbolic, Continuously Separable Hull"
A reference gives "Fuzzy Measure Theory" collaborated by you two.
WAT
[26] K. Kronenfeld. Mechanics. Journal of Microlocal Probability
okay, gotta bbl.
 
1:12 PM
Nah.
2
 
 
2 hours later…
2:46 PM
The description of this chatroom-"Associated with Math.SE; for both general discussion & math questions alike. Just ask; don't ask to ask. Rarely if ever expressible as a ratio of integers. See below for guidelines."
What does "Rarely if ever expressible as a ratio of integers" mean?
 
2:58 PM
@Eingalf Most of the time irrational.
 
@DanielFischer but what is the thing that is rarely expressible as integers?
i know its irrationals, but outside of maths what is it?
 
@Eingalf It's just a way to say that people are often irrational in here. Look at the starred messages for confirmation.
 
@DanielFischer yes, those nah nah nah stars, the nah-board
 
3:27 PM
@DanielFischer How come my nah is not starred?
 
@JasperLoy Probably because of the capital 'N'.
 
If you consider the duality mapping from a normed space to it's continuous dual and the duality mapping is shown to be an isometry, if V is a finite dimensional normed space does it follow that the duality mapping is also surjective?
 
@MattN. I just watched a nice German movie. It's Crazy (2000).
 
3:55 PM
@BalarkaSen Why do you come online when I go off?
 
Every day I know less and less. Just the other day i had to jettison holomorphic functions just to make room for PLU's
 
4:17 PM
Greetings
 
@Chris'ssis Hi, great cat!
 
@JasperLoy lol, I'm not a cat! :-)
 
@Sawarnik I can say the same for you.
 
Meow!
 
:-)
 
4:27 PM
@DavidWheeler PLU?
 
price look-up code
 
@David I am onto commutative algebra
Going to get some rigor in algebraic geo.
 
Algebra that takes the subway to work? wait, no, that's not it....
 
People study so much algebra that they forget the geometry in algebraic geometry.
 
True. (+1)
Sometimes you talk like a Riemann Manifold instead of the Banach ones.
@David I think I need a bit homo/cohomology to get started on alg. geo. Don't you think so?
 
4:34 PM
@JasperLoy Pfft
 
I have to revise my module algebra.
 
Apparently the consensus is you should read Hatcher
 
@DavidWheeler I ain't no topo guy!
I just want to read homological algebra, that's it.
And I think D&F is enough.
 
Is anyone else having troubling logging onto the main site?
 
Topo is nowhere near my sketchual.
 
4:37 PM
that may be so Balarka, but a little context wouldn't hurt
 
Does anyone have a geometric proof of Cauchys theorem ?
OR I would like some sort of simple intuition for the deformation theorem =)
 
@DavidWheeler I hate diff. geo. Told you that.
@N3buchadnezzar Which Cauchy?
Lots of Cauchy here.
 
Let $D$ be a bounded domain with piecewise smooth boundary. If $f(z)$ is an
holomorphic function on $D$ that extends smoothly to $\partial D$, then
$$ \int\limits_{\partial D} f(z)\,\mathrm{d}z = 0 \, . $$
 
Wait, I was gone for a while.
Let me warm up ChatJax
@N3buchadnezzar Oh, that.
 
I do know the main idea
 
4:41 PM
@N3buchadnezzar Have you not seen the standard proof?
 
Eg if it does not have any singularities you can shrink or increase the boundary as wanted
@BalarkaSen I think I have, gimme a minute to find it okay ?
 
Cauchy-Goursat is very basics of CA
 
There is a charming book by Henle you might like, not very advanced though
 
And it has a nice proof through analysis.
But I like to think of it from a physicist's perspective.
@N3buchadnezzar Wait... Are you thinking of proving it homologically?
 
4:44 PM
If you consider the duality mapping from a normed space to it's continuous dual and the duality mapping is shown to be an isometry, if V is a finite dimensional normed space does it follow that the duality mapping is also surjective?
 
@DavidWheeler I prefer Bredon's Topology and Geometry.
 
@DavidWheeler Referring to me?
 
@BalarkaSen No
 
@N3buchadnezzar It can be done by winding numbers, of course, I think.
 
@JasperLoy you may do so. I am not trying to tell you what to like :P
 
4:45 PM
@DavidWheeler I am really surprised that everyone uses Hatcher.
 
OK, I'm not sure why it is surprsing, but I am not that widely-read.
 
Well, maybe because the PDF is legally free.
 
@BalarkaSen We meet this time.
 
Ops
@BalarkaSen My idea was something along the lines of this
 
5:02 PM
@Sawarnik Yes, finally.
@N3buchadnezzar You can just use GeoGebra, you know.
 
@BalarkaSen I know geogebra like the back of my hand
But both drawing arbitary surfaces and boundaries with arrows is not particularly trivial there
 
That means you don't have your hands. I'm sorry to hear that.
=D
Kidding, don't frown.
 
I also know tikz, but that is too much of an hassle to use. It also sucks at placing arrows on arbitary curves.
 
@Sawarnik So what's up these days?
 
Here is the proof for my book, I thought they needed to show that there exists a continuous mapping / transformation from $1$ to $2$, otherwise it seems somewhat strange =(
 
5:11 PM
Of course there's no continuous deformation from 1 to 2.
Think about the genus.
But how does that affect residue theorem?
 
Not sure, I guess I am just tired.
 
@N3buchadnezzar A plausible possibility.
 
I meant you could add lines into the circles like I did above, with the green and blue. These line integrals are the same but with opposite direction and hence canceling each other out
Then you are left with a simple connected curve with no singularities, plus the piecewise disks around each singularity
So you sort of go from $1$ to $2$ by using those green and blue line integrals, which vanishes.
 
Green and blue lines deform the contour.
 
I am blue, you are green.
 
5:16 PM
But what I don't understand is what's the problem with not being able to go from 1 to 2.
 
@BalarkaSen If you are free, then I have some simple problems.
Bio exams over, big relief.
 
Surely you know that $$\oint_C f(z) dz = \oint_{C'} f(z) dz$$ for C and C' being the boundaries of a torus in $\Bbb R$, upto continuous deformation. So that kinda is what you use in the name of Cauchy =P
@Sawarnik Cool, congratulations.
@Sawarnik I am free, at least today. Let's see what you have.
 
@BalarkaSen I am expensive, not free, lol.
 
@JasperLoy How much?
 
@BalarkaSen $\infty$ dollars.
 
5:21 PM
@BalarkaSen Wat, you are free! This is nice and easy I think: $x^5+y^5=2x^2y^2$. Prove that if $x$,$y$ are rational numbers then $1−xy$ is a perfect square.
 
And I am ${\epsilon_1}^{\epsilon_2}$, epsilons tend to 0 from any direction.
 
@Sawarnik Where did you get this problem?
 
@JasperLoy Evil Banana.
 
@JasperLoy Internet.
 
Therefore, Evil Banana = Internet, QED.
 
5:22 PM
@Sawarnik Lemme think. (I have pen and paper with me fortunately)
 
@BalarkaSen Another surprise.
I am for the greatest negative real number. Anyone?
 
@Sawarnik Does not exist.
 
@JasperLoy So you cant buy me.
 
@Sawarnik I will just have it for free then.
 
Dang my internet connection.
 
5:25 PM
@BalarkaSen Something usual, at last.
 
I am still upset about how Complex Analysis told me to shut up.
I merely told him that there should be no space before certain punctuation marks.
I think I won't talk to him again.
 
@JasperLoy O.o You know, some people don't like getting irritated by you.
And why did you tell me to shut up, @Charlie?
 
@JasperLoy heh, this also freaks me out =D
 
@BalarkaSen Any progress?
 
Hello. I have a question. There seems to be a general idea where you can take a lie algebra / algebra and consider formal power series representations of the lie algebra (for example, exponentiating the lie algebra to a group, and the vertex operator algebra ) is there a general theory of taking series representations of an algebra? thank you
 
5:37 PM
@Sawarnik I was logged out for my net.
I think this can be done like this -
Curses.
 
Anyone here used stack overflow? Is it acceptable to ask extremely elementry questions there?
 
Curses.
I blame my internet connection.
 
@Studentmath Do you mean math overflow?
 
No, Stack overflow, the computer-science website
 
5:42 PM
Math overflow is naturally not suitable for elemantry questions :P
 
@BalarkaSen Wat? I did nt read them.
 
$$\frac{x^3}{y^2}+\frac{y^3}{x^2} = 2$$
Okay, pretty symmetric.
But useless.
 
That is the first thing anyone would do. But not exactly useless.
 
$$xy \left ( \frac{x^2}{y^3} + \frac{y^2}{x^3} \right ) = 2$$
Lemme think a bit more.
$$1-xy = \frac{2-x^5 -y^5}{2 + 2xy}$$
 
Hey guys
are you there @Pedro?
 
5:48 PM
Okay, I think I am done.
I said I am done.
Proved it.
Just checking through.
 
Good.
How did you do it though?
 
Dang the internet.
 
@PedroTamaroff: nice answer ;-)
 
@Sawarnik Is it $$\left ( \frac{x^5-y^5}{x^5+y^5}\right )^2$$
 
Yup.
 
5:54 PM
Phew.
 
I used the same method as the first answer did.
 
@FernandoMartin Yes.
 
I'd have done it loads before.
 
What's poppin?
 
5:55 PM
But the int connection.
@PedroTamaroff *Whuzz.
 
not much
I have a cool geometry problem
 
@Sawarnik Polar coordinates is nuts.
 
@FernandoMartin OK.
 
There exists a subset $A$ of the plane such that both $A$ and its complement are connected and dense
 
@BalarkaSen Yes, used that method, not the first answer.
 
5:57 PM
True or false?
 
Now I have to eat a bit.
Stay on chat though, you know I am a superhuman.
 
Ok.
 
@FernandoMartin Thinks.
 
@BalarkaSen Casual chat mode, ok?
 
But only just a bit.
 
5:59 PM
I didn't get that?
 
Casual chat only a little, ok?
 

« first day (1308 days earlier)      last day (3699 days later) »