« first day (1923 days earlier)      last day (3396 days later) » 

user143442
00:00
but I'm not any better
Tell him the side effects
user143442
none
Tell him it's not helping.
user143442
that's what I'm gonna do
Therapy combined with medication is the best path to follow they say ...
...the therapist can adjust the meds as you need.
user143442
00:04
I don't want therapy because I don't want anyone to know about my crazy thoughts
They are trained to help.
user143442
please tell Jasper not to hate me
probably too late
user143442
why
What did you say to him?
00:10
well, I've known you for what? a day?
user143442
that he's crazy
Can't imagine how @Jasper feels about you
considering my experience
user143442
:(
user147690
Does anyone know anything about Bialgebras?
user147690
00:18
I have a bi algebra generated by $g,x$ with the algebra defined by $g^2= I,x^2=0,xg+gx=0$ giving basis $\{I,g,x,gx\}$ and the coproduct is apparently defined as $\Delta(x)=x\otimes g + I \otimes x$, which seems strange, is that probably a typo?
user147690
Nvm, I see
user147690
01:27
@morphic interesting. If your email isn't attached to your OpenID, your gravatar is attached to your IP address, and that's why your image keeps changing
@AlexClark I don't think my IP changes
hi mr eyeglasses and @AlexC
user147690
@morphic Apparently that's the only reason, so I don't know. You are sure you have a static IP?
user147690
Hey @TedShifrin, how's life?
back's hurting at the moment, but fine, and yours?
user147690
01:28
@TedShifrin Busy mostly :D. Exams finished in 11 days
so far ahead of Christmastime?
user147690
Yep, then I will be doing commutative algebra to prep for algebraic geometry
user147690
Is there any broad field of math that you never really studied @TedShifrin?
lots, @AlexC ... never studied probability, statistics, numerical analysis ... wish I had.
user147690
@TedShifrin You wish you had? Ok, I have been collecting heaps of different areas I want to explore, and started to think there are too many :D
01:33
There are lots and lots of applied things, too ...
user147690
and now to troll Balarka I have to study higher topos theory over the break
user147690
He jokingly said:
user147690
in Algebraic Topology & Homological Algebra, 2 hours ago, by Balarka Sen
@AlexClark Forget about studying these basic stuff, just grab Lurie and study $(\infty, n)$-categories and topological quantum field theories.
How do I do $\frac{sin(x)}{1+cosx}+\frac{1-cosx}{sin(x)}=2cscx$
user147690
01:39
@MikeMiller Is this your realm?
I think its written wrong from the teacher but don't know
I found a solution if its 1-cosx as the denominator on the left
user147690
@MikeMiller Hahaha
@AlexClark No.
user147690
It definitely doesn't look very easy
user147690
I wonder how many people alive understand all of Lurie's 800 page text
01:45
Probably triple digits.
@Maximilian: With regard to your trig question, yes, you're right.
Helllllo
Heya @Anthony
Can anyone here explain the paving conjecture to me?
Never heard of it.
01:53
Noooooooo.
You know ... the road to hell is paved with ...
Math?
Conjecture: there is not enough funding allocated to properly pave the US road system.
Proof: trivial.
Not to mention all the bridges that are falling down ...
For $\epsilon > 0$, there is a natural number r so that for every natural number n and every linear operator T on $l^n_2$ whose matrix has zero diagonal, we can find a partition (i.e. a paving) $\{A_j\}^r_{j=1}$ of $\{1, · · · , n\}$, so that $||Q_{A_j}T Q_{A_j}|| ≤ \epsilon ||T||$ for all $j = 1, 2, · · · , r$
01:56
@Anthony: As far as I can tell this is about the rep theory of Banach algebras? DanielF is probably your best bet here.
"Yikes!"
He generally seems to be...
I have no clue what you just typed.
2
hi can anyone explain to me why if $\int_E |f|^p_1 = \int_E |f|^p_1 \Chi_E$ then $\Chi_E \in L^q$
Alright alright alright. I'll just go stare at my monitor for a few hours
01:58
Don't go blind, @Anthony.
Roger roger
@desperatemuch: I'm sorry, this doesn't appear to make any sense. Context?
sorry
suppose q is the conjugate of p
heya @robjohn
01:59
We knew that much, @desperate
@MikeMiller if suppose q is the conjugate of p
Why do you have a 1 subscript? What is $E$? What is the measure space?
@desperatemuch: It still doesn't make any sense. Take $f$ to be any $L^p$, essentially nowhere zero function on a space of infinite measure, and then take $\chi_E$ to be the indicator function of the whole space.
oh, initially p is p2/p1>1
Then $\chi_E$ is assuredly not in $L^q$ for any finite $q$.
02:01
and f is in L^p_2
the problem is if E is measurable set of finite measure and 1<=p1<p_2<infinity
then show that L^p_2 (E) <= L^p_1 (E)
Ah ...
my prof started with defining p=p2/p1 and q as the conjugate of p
user143442
@desperatemuch why don't you use latex?
sorry sorry so new to these things
the problem states that if $E$ is a measurable set of finite measure and $1<=p_1<p_2<\infty$. Then $L^{p_2} <= L^{p_1}$
my professor initially defined $p=\frac{p_2}{p_1}$ and $q$ the conjugate of $p$
You lost me! Maybe @Ted will help.
02:06
Ted has to leave momentarily.
This is a standard exercise you've done a few times, @Mike. Show $L^r\subset L^s$ when $r\ge s$ and you're on a finite measure space.
It's an immediate application of Hölder.
then he said that if $\int |f|^{p_1} = \int |f|^{p_1}\Chi_E$ and $mE<\infty$ implies $\Chi_E\in L^q$
@TedShifrin: I'm ducking out :) But I'm sure your comments are appreciated.
@desperatemuch: \chi, lowercase.
Well, I have company showing up any second.
i am quite confused as to why would $\chi_E$ be in $L^q$
@tedshifrin right how?
02:08
Because you're on a finite measure space, @desperate.
That the problem was written wrong?
Yes, @Maximilian.
Half of them areI feel like, like 4 I see no solutions to unless its slightly changed
Frustrating, @Maximilian: Complain to your teacher.
I will, although kinda hard because tomorrow is the test
02:10
I don't know why everyone around here waits until the day before the test to start studying and learning. rolls all eight eyes
why q not p?
lol
I had work
It doesn't matter, @desperate.
I still have work
@TedShifrin so i can also say it is in p?
then why q?
02:10
You want to use $\|fg\|_1 \le \|f\|_p\|g\|_q$ for appropriate choices of everything, @desperate.
user147690
@TedShifrin Hey, I am someone around here and I am a counterexample!
Stuck on $\frac{1-sinx}{cos(X)}+\frac{cos^2x}{1-sinx}=2secx$
I'm at $\frac{1-sinx}{cos(x)}+1+sinx$
OK, my guests are somewhere ... locked in a garage. Bubye.
user147690
Cya @TedShifrin
thanks @TedShifrin
02:12
@TedShifrin That's the best place.
mods of other rooms shouldn't be able to ban someone from all the rooms
Anyone know how to figure this out? Anything I do is dead end
user147690
@Twink Lmao 12 hour ban, much deserved no doubt
Nvm. Teacher corrected them online
where is @PedroTamaroff?
I miss him
02:20
@Maximilian but $\frac{1-\sin}{\cos}+\frac{\cos^2}{1-\sin}$ is not $2\sec$
what's up @anon
I know. It was written wrong on the sheet I have. He changed them up online which is why half of them I couldn't figure out
03:01
@anon hi
@anon I am very excited to take algebraic topology next semester
Hey guys, could use some help. I'm looking to converting a $\mathbb{R}^p$ vector to polar coordinates
I know if I'm working with $p = 2$, say $\mathbf{x} = (x, y)$, I just use $r$ equal to the norm of the vector and $\theta = \tan^{-1}\left(\dfrac{x}{y}\right)$.
Now if I have, say, $\mathbf{x} = (x_1, x_2, \dots, x_p)$...
Yeah, I have no idea
I'm going to dig through some texts
Hey, guys. Perhaps I'm reading too much into Riemman's theorem on conditionally convergent series. But I think I need a second opinion: the theorem states that for every convergent series (that isn't absolutely convergent) $\Sigma a_n$ and for every $x$ and $y$ in $\mathbb{R}$ (such that $x\leq y$), you can find a rearrangement such that $$\liminf_{n\to\infty} a_1 + a_2 +\dots + a_n = x\qquad\limsup_{n\to\infty} a_1 + a_2 +\dots + a_n = y$$
Does that mean that if I have a convergent series that satisfies the hypotesis, I could reorder it such that my birthday came up as the limit?
just by putting $x=y=18101994$?
user147690
03:47
@Miguelgondu Happy 21st for last month
@AlexClark Out of curiosity, do you know how to convert a $\mathbb{R}^p$ vector to polar coordinates?
user147690
@Clarinetist Hmmm I am not sure what that would mean honestly. I know spherical coordinates in n-dimensions
@AlexClark The definition is $x_1 = R \cos(\theta_1)$, $x_k = R\left(\prod_{i=1}^{k-1}\sin(\theta_i)\right)\cos(\theta_k)$ for $2 \leq k \leq p$, and $x_p = R\prod_{i=1}^{p-1}\sin(\theta_i)$.
@AlexClark for a vector $\mathbf{x} = (x_1, x_2, \dots, x_p)$
user147690
I haven't seen that before, so I probably can't be of much help sorry
No problem
user147690
03:53
I don't even know who to recommend on here :D
My guess is that $R$ is equal to the norm of $\mathbf{x}$, but I'm stuck as how to prove that
user147690
Are you another person from Australia, or just the person I have previously mistaken for being from Australia?
user147690
You were an actuary right?
@AlexClark Yes, used to be
I'm from the U.S., midwest
user147690
Now you are a grad student in stats?
03:55
Yep
and I'm working as... I guess you could say, a statistician, data-analyst, data-scientist-ish type role
user147690
Better than being an actuary?
YES. SO MUCH
user147690
Caps intended :D?
Indeed
I don't use caps often
:)
user147690
@BalarkaSen When you come on, can you help explain how to prove $|G|=36$ means $G$ is not simple? It's probably easy
user147690
03:56
@Clarinetist Well that's great to hear then
user147690
Money is worse is probably the only downside I imagine
Slightly. Took a $5.7k cut
user147690
Oh, that's not so bad for significantly more enjoyment
user147690
@BalarkaSen Well it can be shown using via a 'cheap' application of a theorem, but it's not very enlightening
05:09
$G$ is not simple because 36 isn't prime and it's less than 60 so it's solvable
#overkill
tomorrow is my exam
pray for me
@AlexanderGruber what's the impact of not being prime? was it assumed cyclic?
@anon only solvable simple groups are cyclic of prime order, and it isn't of prime order
#PrayForTwink
user147690
@AlexanderGruber That's not very helpful :P
user147690
05:22
That's as good to me as saying "The question tells us to show it is true" hence it is true $\blacksquare$
user147690
@Twink What class?
Riemannian geometry
user147690
@AlexanderGruber I wanted to do it a more 'classical' way, we know that $n_3=1$ or $4$, $n_2=1$ or $3$ or $9$, but since these aren't cyclic, they don't necessarily have trivial intersection and then it gets trickier
user147690
@Twink What text are you using?
do Carmo
:'(
user174558
05:35
do Carmo is an ancient text.
I also use O'Neill
cause it's easier to read and explains in more detail
user174558
I like Lee and Petersen.
I hate the Christoffel symbols :'(
user174558
You should leave the chat now to study.
I'll almost go to sleep
user174558
05:38
I forgive you Twink=user.
:D
user174558
Don't tell lies again.
ok
@Jasper Why would you do that.
thank you @Jasper
05:45
You should be refusing to engage with him based on his username alone.
I don't know why that's not a permabannable offense tbh.
what's wrong with my username?
user174558
Nothing wrong with being a twink.
@Jasper No, but it's not decent at all to have that as your user name.
user174558
@0celo7 I understand, but this site need not be so serious.
user174558
@0celo7 I am getting your point now.
user174558
05:49
Why did @0celo7 get suspended? LOL. The system is nuts.
because I flagged his comment
user174558
@Twink You should not have, please.
my username "user" was banned for 12 hours because of him
he deserves it
user174558
Don't be silly.
and he said Danke to the mod who banned me
which means Thank you
in German
06:08
@0celo7 I don't see having twink as one's username as inherently actionable. I can conceive of users using it in good fun. However, here the purpose of the username is as part of his broad campaign of baiting as many people as possible into at-first-quasi-deniable trolling, and trolling is looked down upon. Speaking of which...
21 mins ago, by Twink
I think @0celo7 doesn't like gays
How do you think the future will play out if you can't resist the urge to troll for even 24 hours @Twink?
This particular person needs professional help.
Anybody here also applying to grad programs?
user147690
hmm how to embed question/answer comments
user174558
Hi @AlexClark, LOL.
user147690
06:24
How come Twink is always following you @Jasper? He is always on when you are on in the transcript, even going back two years
user174558
@AlexClark Well, that is because both of us have been around for a while, silly.
Your "king's banquet" message is valid up to a point pal. But this has been going on far too long....
user147690
@skullpetrol Yes over 2 years I see, on multiple accounts
user174558
@skullpetrol What is king's banquet?
user147690
I don't even know how someone could have this much time
06:26
A banquet for a king @Jasper
user174558
@skullpetrol Who was that addressed to?
Or large.
Alex put up the link pal. @Jasper
user174558
Well, I only have one account at a time.
user174558
I am pretty sure of that.
user174558
And I will say again that I, Sarah and Twink are three different people.
user174558
06:29
I won't say this again.
Same goes for skull patrol :P
user147690
Oh god...
I will say that many times :-D
user174558
I just can't see how anyone can think the 3 are 1, LOL.
@AlexClark i know. that was the joke.
user147690
06:32
@AlexanderGruber I know haha, I was hoping you would help me after the joke :P
How was that illegal thing you were planning on doing end up @Jasper?
user174558
@skullpetrol I did not do it in the end. I feel no need for it now.
Good, good.
user174558
@skullpetrol Right now, I just want to get well and go to grad school as soon as I can.
user174558
I have an Abel prize waiting for me to win.
06:34
That's the spirit pal :D
@AlexClark Let's see.
user147690
@BalarkaSen To my $|G|=36$?
How may 3-Sylows do we have? Either 1 or 4, correct?
user147690
Yep
If 1, we're done.
user147690
06:35
and 1,3,9 2-sylows
So assume we have 4.
Then we have a permutation representation G --> S_4 by conjugation (Sylow's IInd theorem)
user174558
@BalarkaSen What do you think of Artin's Algebra?
This has to be injective.
Great book, @Jasper.
user174558
@BalarkaSen Also terribly expensive, unless I get the Indian edition.
@AlexanderGruber Know any neat, cute ( = fun and elementary) applications of the Haar integral? The best I can think of is (i) pointing out the Mellin transform is the multiplicative analogue of the Fourier transform (which is additive) and (ii) generalizing commuting probability to compact groups. (But I think that's only nonzero for abelian-by-finite groups, which I can't think of a good natural example of.)
06:36
@AlexClark So you need to show that it's not possible to embed a group of order 36 inside S_4. Is that always possible?
suppose I can now include @MikeMiller in the above question
Well, obviously.
I know nothing of fun, so you're looking in the wrong place
heh
@AlexClark How in the world can a group of order 36 embed in a group of order 24 :P
So contradiction.
06:38
Hey Mike what does UCLA have going on in terms of geometric analysis?
user147690
@BalarkaSen That was the cheap theorem I didn't want to use :P
It's pretty insightful!
user147690
@BalarkaSen $|G|$ does not divide $n_p!$ then $G$ is not simple
user174558
Whyburn wrote Topological Analysis and Analytic Topology, LOL.
user147690
@BalarkaSen I guesssssss, but I wanted some modified counting argument with centreeess and lasseerrrss
06:40
@AlexClark Alright, let's try differently.
There are 4 3-sylows of order 9.
So how many elements, altogather?
hello, it's me
user147690
Well I don't know, they don't intercept trivially
user147690
Wait let me think
hi
user174558
06:41
@twink This is not funny.
fair enough. this is going to a messy argument, @AlexClark.
I'll keep on calculating the Christoffel symbols
bye
Later pal
user174558
@skullpetrol Who is the woman in the pic?
Dunno @Jasper
user147690
06:42
@BalarkaSen Okay no idea, tell me the messy argument please
Creative with those usernames I see @skull
@anon: 1) It implies any compact group action is by isometries w/r/t some metric. Values: a) It cannot simultaneously fix a point and its tangent space. This implies, say, this. b) The maximal dimension of a compact Lie group acting on a manifold is immediately $n(n+1)/2$. 2) Most elementary theorems of differential topology hold equivariantly, by taking the original theorem and averaging $\int_G L_g^*(\text{standard proof proof})d\mu$.
@AlexClark I don't know, I haven't thrashed out the argument myself.
user147690
@BalarkaSen Oh okay, I'll keep at it
Just use the homomorphism into S_n.
user147690
06:43
But it's lammmeee
Looks kinda like Sharon Stone?
Need to bang against more walls while you're thrashing there @Balarka
user147690
It's adele.........
@MikeMiller If G acts on M and H is any lie group acting trivially on M, can't we get GxH to act on M?
Why, @AlexClark?
@AlexClark Ring of adeles?
06:44
effectively
ah
$\Bbb A_\Bbb Z$.
user147690
@BalarkaSen Yes, I want to use this to solve it
@KarlKronenfeld haha.
@AlexClark Go read Tate's thesis.
user147690
@BalarkaSen Ok
06:45
what's the problem @AlexClark
user147690
@KarlKronenfeld Showing $|G|=36$ is non-simple by counting arguments
user147690
Noting that our sylow subgroups don't intersect trivially
whereas it's easy to prove this by using homomorphism onto S_4
user147690
Without using the homomorphism which is lame by my arbitrary standards
arbitrary standards indeed
06:47
@KarlKronenfeld thanks :-)
user147690
I know it can be done with a counting argument, because a fellow student did it like 6 weeks ago
user147690
Ahh I'll go back to it later then, I guess the theorem isn't lame @BalarkaSen
No, it is absolutely not lame.
user147690
It's kinda cool
It can be used to classify groups of a certain order.
In particular, 12.
:P
user147690
06:49
Oh hahaha
user147690
That one
user147690
I forgot about that
@anon: which reminds me, you might like that the only spaces for which that dimension is possible are space forms, simply connected or $\Bbb{RP}^n$
hmm
perhaps change that to "w/ finite fundamental group", i think
06:57
Hi everyone, i have just written an answer to a question in Abstract Algebra. But i am not sure if the answer is correct. Can someone please look math.stackexchange.com/a/1520413/197214

« first day (1923 days earlier)      last day (3396 days later) »