« first day (2586 days earlier)      last day (2733 days later) » 
01:00 - 19:0019:00 - 23:00

user287318
19:02
@RandomVariable Thanks!
I have seen two different definitions for an analytic function, and I am wondering whether they are equivalent. Here is one definition: $f$ is analytic on some region $R$ in $\Bbb{C}$ if $f$ has a derivative at each point of $R$. The other definition something like "$f$ is analytic if it can be locally represented by a power series."
@BalarkaSen Here's a simple question: I have seen several people writing the following: $SO(6)/U(3)=SU(4)/S(U(3)\times U(1))=\Bbb C\mathrm P^3$. The first equality sign is what I don't understand: The denominator is unchanged because $U(3)\cong S(U(3)\times U(1))$, with the isomorphism of Lie groups given by $A\mapsto (A,\det A^{-1})$, but the top is weird. $SU(4)$ is the double (universal) covering of $SO(6)$, so I don't understand how this can work. Do you understand what might be going on?
Am I missing something stupid?
Every irreducible polynomial in $\Bbb Z_p[x]$ is a divisor of $x^{p^n}-x$ for some $n$
:O
beautiful theorem.
hey guys
i'm trying to figure something out and i'm really confused which way to interpret it
im trying to figure out how to compute the surface normals at the vertices of a polygonal surface. I've heard that it can be done by computing a weighted average of the various normals on the faces on the surface
the problem is im not sure if I need all the faces sharing some point or just the faces touching the face im examining.
:/
it seems like the latter should work
in the sense that i doubt an algorithm to find all the faces even exists
19:20
So how would you define the normal at a vertex?
idk
it's just a thing
@LeakyNun that's because you can construct the field with $p^n$ elements as the roots of that polynomial and the algebraic closure is the union of all those fields
@AlessandroCodenotti beautiful proof, beautiful result
a classification of all irreducible polynomials
@Danu average :P
@danu relevant link I just found wiki.polycount.com/wiki/VertexNormal
now consider the icosahedron
the way to compute the "soft normals" in that diagram is some kind of "weighted average" of the normal vectors on each plane (not at all ever explained in detail). My question is that (for instance) with something like the icosohedron do you actually need all 5 normal vectors to compute that weighted average or would using only 3 adjacent triangle work the same.
tbh, that's probably not true but it seems like the icosahedron is a prime example where computing the normal vectors are becoming harder and harder tocompute
Guys. Let $G$ be a group, and $A\subset G$ a finite subset, with $n=\vert A\vert$. Let $H=\{g\in G\mid\text{for all }a\in A,gag^{-1}\in A\}$. I have to show that $H$ is a subgroup of $G$. It’s clear that $e\in H$ and I can also show that if $g,h\in H$, then $gh\in H$.
However, I’m having difficulty showing that if $g\in H$, then $g^{-1}\in H$. So say $g\in H$. Then we know that $gag^{-1}\in A$ for all $a\in A$. We need to show that $g^{-1}ag\in A$ for all $a\in A$. The closest I could get to showing this is: $g^{-1}ag=g^{-1}agag^{-1}ga^{-1}$. Now unfortunately, the order here isn't right, for we need $a^{-1}g$ istead of $ga^{-1}$.
Now I'm kind of stuck here. Could someone give me a hint or the answer? Maybe I should use the fact that $A$ is finite, but I wouldn't know how.
19:34
@ShaVuklia the condition finite subset is very important, so now you only need to prove closure
$g(g^{-1}ag)g^{-1} = a$ might be helpful to note
oh I just got it, by showing $gh^{-1}\in A$
but alright, thanks!
Ah that's a good way to do it
that's also a way I guess
@Kasmir $A$ is finite, its normal closure might not be
19:36
Finite and not empty, you only need to prove that a*b is in H for all a and b in H
lol yea I solved it, thanks @Kasmir
thats a theoem in our book
no need in case of finite
I've never seen that theorem
19:37
oops, @KasmirKhaan is right
@Leaky I think for finite subgroups closure suffices
$a^n$
but in this case $G$ might not be finite
maybe we haven't had it yet
@Daminark yes, upon further consideration I'm wrong
but there's a theorem for even infinite groups
19:38
Kasmir is right 43% of the times :D
if you can show that $e \in H$ and $\forall g,h \in H: gh^{-1} \in H$ then you're done
But the problem is that the normal closure of a finite subset may not be finite. If you have a group with an infinite center, for example
@Daminark oh, it's called the normal closure :o
Yeah that last condition Leaky gave holds no matter what
@LeakyNun that's what I've done. see my message above
19:39
@ShaVuklia right, so I'm just confirming
So @Sha if you showed that you're done
but do you have that theorem yet?
you mean $gh^{-1}$ @Leaky?
@ShaVuklia yes
yep we've had that
19:39
nice
I have a domain $D$ in the plane whose complement is a disjoint union of two connected sets $A,B$. Must $A,B$ be closed sets?
The limit of a sequence in $A$ cannot be in $D$, but I didn't prove it can't be in $B$
@robjohn When you said that all the integrals were positive, we're you assuming that $f(x) = \frac{1}{1+x^{2}}$?
nobody knows how to help me then?
19:54
Proof of Fermat little theorem: $\Bbb Z_p$ is a field whose multiplicative group has order $p-1$. Therefore, for $0 \ne a \in \Bbb Z_p$, $a^{p-1} = 1$.
@LeakyNun how do you know that other stuff doesnt depend on Fermat's little theorem?
circular reasoning, right?
@Typhon which stuff, $\Bbb Z_p$ is a field or $a^{n}=e$ for $a \in G$ and $|G|=n$?
@LeakyNun idk. any of it.
just seemed too simple of a proof
the former is from Euclidean algorithm
the latter is basic group theory
i wasnt actually asking
i was just telling you to make sure your proof isn't relying on circular reasoning
19:58
alright, thanks
as that's a famous conjecture and shouldn't be trivial to prove.
@LeakyNun I don't even know group theory
I solved my question from earlier. In general, the components of a closed set are closed.
It's literally that trivial to prove
@Typhon other methods are also short
20:00
then whatever you call upon is not trivial to prove
:p
either that or Fermat didnt make a decent attempt to prove his theorem. XD
This isn't Fermat's last theorem...
yeah but his little theorem was also tough to prove
really?
welll he didnt prove it?
and he was a genius by far
hmm
this is interesting
well, group theory was developed after Fermat, I think
@Mr.Xcoder hi
20:04
@LeakyNun Hi
@LeakyNun ooooh.
i see
so it isn't the difficulty of the proof
it's the lack of knowledge
Hey @PVAL!
Howdy
@dami
How's it going?
alright. Teaching kind of sucks right now.
20:12
Eek, what are you teaching this semester?
Guys. Let $G$ be a group, and $A\subset G$ a finite subset, with $n=\vert A\vert$. Let $H=\{g\in G\mid\text{for all }a\in A,gag^{-1}\in A\}$ and let $N=\{g\in G\mid\text{for all }a\in A,ga=ag\}$. I’ve already shown that $H$ is a subgroup of $G$, and that $N$ is a normal subgroup of $H$. I need to find a homomorphism $f\colon H\to S_n$ such that $N=\ker(f)$. I am quite clueless at this point. I'm not going to try out an example, because that would take forever.
It seems to me that we want the kernel to constitute of 'commutative elements', in the sense that those elements are in $N$. So as soon as they commute with elements in $A$, we want to get $(1)$. But I'm not really sure how I could relate elements of $H$ with permutations. Any help would be appreciated.
Okay so, $A$ is a set with $n$ elements and $H$ acts on it by conjugation
So write $A = \{a_1,\ldots,a_n\}$
oh of course
wait wait wait, maybe I see it now :P
Oh alright, good :P
Those are just the normaliser and centraliser, no?
20:24
Yeah
@Dami if you want, you can continue...:P
I thought I saw something, but nopes
Oh okay lmao
So given $a\in A$, $h^{-1}ah \in A$
And if $h^{-1}ah = h^{-1}bh$, then $a=b$. So each element $h$ permutes $A$ via conjugation
Now write $A = \{a_1,\ldots,a_n\}$
And map $h\in H$ to the permutation $A^h$
Or meh, call it $\sigma_h$
$\sigma_h(k) = m$
Where $a_m = h^{-1}a_kh$
oh right....
yea
I guess I kind of forgot that a permutation is a function on its own:P
right, from here on I can show it's a homomorphism and what not :P and the stuff about the kernel
Yup. And the nifty thing is that if $h\in N$, then $a_kh = ha_k$, so $h^{-1}a_kh = a_k$, meaning $h$ maps to the identity permutation
haha yep
thanks
20:31
No problem
we really need emoticons here:P
This is building up to group actions, which are the dankest things in group theory
:thinking:
I would have sent this one, if we had it
lol yea, I'm almost at group actions
That works :-)
@skullpatrol lol:P
20:34
I'm tempted to make a meme using the "This is where I'd put my trophy if I had one!" format
But it'd be you and that emoji
Problem is photo editing is so much work
:P
Wait actually
WAIT WHAT
:P
wait
I need my damned emojis
Yeah I think I might, I remembered that low quality photo editing is usually better
i've been using mspaint a lot recently, i relate
20:40
tfw MS Paint was almost killed off ;_;
lolllll
people protested
is minesweeper still around, i can't seem to find it
Everyone!
lol you're digging up the classics aren't ya:P
@Sha and @Steamy in particular
20:46
omg Dami, should I be scared now
ohnoooo:'P
I should have sent you an angry pic :P
for the effect
but great meme work
proud of ya
20:47
:D
I mean I can totally do a version 2
looolll
I just realised... I've never made a meme:'(
or just draw angry eyebrows or something :^)
Oh wait a sec hold on I've got an idea to make the quality crash so hard
Gimme a sec
hahahahaha :cryingemoji:
Hmm
Should I overlay a very small angry emoji on your forehead?
20:49
if people click on that starred message, they will feel mindfucked and empty on the inside:P
ey watch your lango Amina
an emoji on my forehead? how is that going to work XD
but you can try I guess
Please watch your fucking language
@KasmirKhaan lolzz
agnry faic incoming?
20:50
Amin watch your lango
What's with this LANGUAGE, Harry?!
starts cussing in Irish
or Scottish
doesn't matter
I wanted to use "lango" because I learned it in a movie
anyways anyway can help me with homomorphism and isomorphisms?
ain't nobody got time for that @Kasmir, we're meme-ing here.
should homomorphism be studied first or iso ?
well, iso is a special case of homomorphism?
20:52
Who are you asking ?
I was just replying, but maybe I didn't understand the question:d
if me then i aint go no answer , because I just started with that
am gonna watch few lectures online
wanted to know what to start with
homomorphism or isomorphism
maybe it does not matter at all
oh right. well an isomorphism is just a bijective homomorphism. so it makes sense to first familiarise yourself with homomorphism?
@RandomVariable In that question, yes, but I think the same functions should work for $\int_{-\infty}^\infty f(x-1/x)\,\mathrm{d}x =\int_{-\infty}^\infty f(x+\tan(x))\,\mathrm{d}x =\int_{-\infty}^\infty f(x)\,\mathrm{d}x$
All righty then
20:56
no, start with morphisms..no, functors...no, i'd start with a study of arrows. $\rightarrow$ ...they're pointy
Actually @Steamy your suggestion was worse so I'm doing it
Inbound quality maymay
Making the eyes and eyebrows blue for further inaccuracy
oh wow
OMGGGGGGGGGGGGG HAHAHAH go home Dami, you're drunk
that scares me
20:58
:P
My best work
Oh have I showed you guys the meme I made of my analysis prof?
No, but I have a feeling you will soon?
loll:P
Well one of my profs has a ton of memes made of him, mostly of my classmates
And they're hilarious
But this one I made using even higher photo editing skills
Backstory is that one of the problems he put on our midterm was to show that 3x3 matrices are diagonalizable over C
$\mathbb{C}$?
Yeah
We had a homework problem earlier to show that commuting matrices over C are simultaneously triangularizable
His idea was to do it via quotient spaces
(This was second quarter analysis)
Now, our first quarter prof had us work through this linalg book that proved more generally that a matrix is triangularizable iff its minimal polynomial factors completely
To do this it used these things called conductors
21:06
choo choo
If $T:V\to V$ is an operator, $W$ is an invariant subspace, and $v\in V$ is some vector, the $T$-conductor of $v$ into $W$ is the unique monic generator of the ideal of polynomials $p$ such that $p(T)v \in W$
don't believe i've seen conductors before
@Salt you got the joke, our prof saw a few people who used that to answer the midterm problem and said "Don't give me the book Souganidis told you to read and start talking to me about conductors. This is linear algebra, not trains, no need to bring in Amtrak to solve your problems"
Something to that effect
So I made this glorious meme
@Sha @Steamy
the little schlag that couldn't
...that don't....sounds weird
21:12
That's the point
Sorta along the lines of "Can you don't?"
when you get the meme so much, you just don't get it
This was the response lmao
Heh... our students post memes of us quite often on facebook and apparently don't realise we know
So we snuck one of their memes in between 2 slides of a student's science communication presentation :D
21:22
i suppose that's better than doing a tyler durden
@SteamyRoot have you ever been made into a meme?
Lol if Soug knew about our memes he'd have just been like huh?
Not as far as I know
too bad:d
Mostly professors, really
21:29
hi is the direct sum of rings different than direct product of rings. I think it is because in direct sum, we have multiple representation of 1 which is (0+0+..1+0+0+..) and in direct product if we a different but unique representation of 1 which is (1,1,...,1,,,)
@ShaVuklia One of the maths TA's did have this one made of him :P
(we like to ban calculators, and he was known to throw chalk at students who were using a calculator)
@SteamyRoot hahahahahhahahahahah amaaaazing
he looks like a fun TA to have
He's amazing. Moved to Canada at the start of this year, though, since his wife got a tenure track position there :(
Well, I'm happy for them of course, but it's a shame he's gone
21:39
semiiiiiiiiiiiiiiiii
you've missed so many memes
The coveted tenure-track position
Gimme
Get in line
21:43
Actually a lot of postdocs I've seen at only ever have this one postdoc here, after that it's tenure-track
Which is p crazy
@Steamy choose: stay a postdoc forever or get tenure and never be able to use Hagoromo again
(The most evil choice)
Easy choice, tenure.
Lol
Fair
Hagoromo's great but it's not the be-all end-all
If I had to choose between being a postdoc with a blackboard or get tenure but only have a whiteboard, that'd be tough :P
Okay let's go for that then
Honestly, I really don't know :P
21:54
eh, if you're tenure track you can buy a portable blackboard
if you're tenure track you can buy a house with blackboard walls and blackboard floors and ceilings
I meant like, you're cursed to not be able to use it
i remember having a calculus instructor that drew the most beautiful diagrams on the blackboard, but passing him on campus he would always be covered in chalk
Is he compact?
no, there was no finite subcover
22:00
Press $\mathbb{F}_{\sigma}$ to pay respects
$mathcal{F}$
:( no amssymb
$\mathcal{F}$
is it a different command?
oh, i left out a \\
rip
22:22
Ugh
Rebellious lot, how dare you go against the words of Daminark?
$\overset{f}{\sigma}$ am i doing it right?
Actually wait I fucked up
Mathbb{F} is only for fields
It's supposed to be $F_{\sigma}$
Sorry
my $\sigma$ won't cooperate, just look at it $\overset{\sigma}{F}$
it's taking over $\underset{F}{\sigma}$
22:30
NOOOOOOOOO
oh math...help $\sum_{F}$ it's grown up
maybe it's dead now because $|F|$ is uncountable
01:00 - 19:0019:00 - 23:00

« first day (2586 days earlier)      last day (2733 days later) »