« first day (2610 days earlier)      last day (2418 days later) » 

7:00 PM
Oh huh
 
Sup @BalarkaSen
Had an elliptic pde class today
Was dope
 
Maybe I'm misunderstanding what the complex tangent bundle means here? I thought it's just $TM$ with fiberwise (almost) complex structure, so the topology doesn't depend on whatever ACS you chose
@EricSilva Cool
 
Oh, woooops sorry I left out something important
Sorry ,that changes everything
So consider $M$ with two homotopic ACS's. Then consider the projectivization (as a complex! vector bundle) of $TM$, which of course depends on the ACS you had.
 
Ahhh
 
Now the point was that $\Bbb P_1(TM)\cong \Bbb P_2(TM)$ if the ACS's are homotopic
But I don't really see how to do this :p
 
7:05 PM
This sounds true to my ears; I'd try to see that the transition functions are homotopic probably
Over some fixed trivializing cover
If the transition functions of two bundles are homotopic, the bundles are isomorphic
 
can somebody help?

https://math.stackexchange.com/questions/2444776/find-distribution-of-eta-xi-1-alpha-xi-2-xi-1-xi-2-in-n0-1-and
 
Ah, yeah
I think that makes sense @BalarkaSen. The homotopy of ACS's should define a homotopy of the transition functions
OK, thanks :D
 
yep
 
Hey @Eric
 
@Danu Hm maybe you have to be careful. What if the homotopic ACS's are not homotopic through ACSs?
Then on each time-slice of the homotopy projectivization doesn't make sense
 
7:08 PM
No but they are; that's the definition of "being homotopic" here
 
Oh ok
Alright we're cool
 
Homotopic as sections of the associated bundle with fiber $SO(2n)/U(n)$
 
Excellent, got it
 
7:22 PM
(By Ramanujan)
 
7:37 PM
(as a new approach I would proposed the use of the Rogers–Ramanujan identities - not sure how Ramanujan did it)
What do you think? Am I on the right track with such an approach?
 
is robert still around ?
 
Guys, question about rings; my teacher wrote the following: $\mathbb Z[X]/(X)\cong\mathbb Z$, $\overline x\mapsto 0$. I don’t understand why he wrote $\overline x\mapsto 0$ (and I’m not sure if I copied it correctly). In any case, I don’t know which isomorphism to pick. I initially thought of $\sum_{i=1}^na_iX^i\mapsto\sum_{i=1}^na_i$, but this is of course not injective. So could someone help me?
 
Send $\bar{X}$ to 0.
$\bar{X}$ being the equivalence class of $X$ in $\Bbb Z[X]/(X)$
 
@ShaVuklia $\displaystyle \sum_{i=1}^n a_i X^i$ is actually in $\langle X \rangle$, so it should be mapped to $0$
 
@ShaVuklia The map you chose is evaluation at $1$. Try aveluating at $0$ instead
 
7:48 PM
@Leaky sniped
 
Evaluation at $1$ would be $\Bbb Z[X]/\langle X-1\rangle$
@BalarkaSen I was replying to her second point
 
but you said the same thing as me so you just got sniped bro
 
sorry my internet lagged
 
@BalarkaSen but we were explaining different things so I didn't get sniped
 
false. you explained the map and said it after i said it
so you got sniped
let me put on my dank glasses
 
7:51 PM
I was explaining how the map she initially thought of is wrong, while you were explaining the notation $\overline X \mapsto 0$, so I didn't get sniped
 
you said it should be mapped to 0, which follows from my message about \bar{X} mapping to 0, so you got sniped
you got fricking sniped bruh
and i confirmed the kill
 
flipping*
 
flipping, yes, of course
 
It just follows from the fact that the sum is in $\langle X\rangle$, which by the definition of the quotient is mapped to $0$, skipping your lemma, so I didn't get sniped.
 
but if $\displaystyle \sum_{i=1}^n a_i X^i\in\langle X\rangle$, then isn't $\overline X$ just the entirety of $\mathbb Z[X]$? Like, we only have one equivalence class then?
 
7:54 PM
"which by the definition of the quotient is mapped to 0" uh, no, definition of the quotient doesn't map anything to zero. the map I defined does :P
@Sha Consider the constants
 
@ShaVuklia $i=0$...
 
you got sniped again
 
oh, that's exactly $\mathbb Z$
 
@BalarkaSen by the definition of quotient, which is the set of cosets, in which the coset itself $\langle X\rangle$ is $0+\langle X\rangle$, is naturally sent to $0$, so I didn't get sniped
 
@Leaky "is naturally sent to 0" by my map, not the definition of the quotient, so you did get sniped bruh
 
7:56 PM
@BalarkaSen I'm reminding her that if she wants the sum to be able to represent everything in $\Bbb Z[X]$ then it has to start from $0$, so I didn't get sniped
@BalarkaSen fxxxing hell Balarka
 
lelele
i mean kekekek
 
Nifty
 
@Jasper lol, pointleast conversation ever
(less/lesser/least)
 
Haha
 
you got rekt and roasted
 
7:58 PM
Anyhow, thanks a lot guys
 
@LeakyNun I learnt about pointless topology from someone.
 
(Seriously, though, watch the video. Very inspirational)
 
Too old
You have to step up your meme game, Balarka
 
old but classic. stop being a normie and appreciate classics
 
Nah classics aren't to be shared in public like that, exactly because they are classics
Just like you don't share Vivaldi's 4 Seasons. It's too well known
 
8:02 PM
I have read the Wikipedia page on memes but still don't know what memes are, lol.
 
@Jasper Like genes, but with ideas
 
@TobiasKildetoft By the way, the only other Tobias I know of is Tobias Oetiker, the author of 'A not so short introduction to LaTeX'. =)
 
oh you..
 
it's not, i tricked you. the point of classics is that it fits in as reaction to a vast majority of the conversations, like the one above
normo
lol i should stop trolling
 
8:07 PM
dude, the thumbnail revealed it, so you failed :P
 
@BalarkaSen The guy looks cute. I like his glasses...
 
you shouldn't have included the thumbnail, just the link
 
@Waiting You are the best person in the world on limits, series, and integrals. If you don't know the answer, nobody in this chat does, lol.
 
Bleh I can't do math today for some reason
 
so it's not everyday bro. Jake>Balarka
 
8:11 PM
hahah
 
@BalarkaSen If you can't do math on some day, do maths. If you can't do maths on some day, do math.
 
that was actually good
@Sha you really do need to find better musical inspirations than Jake Paul, that meme is getting old
I suggest Corey Feldman
 
@AlessandroCodenotti hi , i remember that something like two months ago you wanted to open a Set Theory study group , did you do that?
 
or xxxtentacles i dunno
 
@Liad i'm down
wait
do "I'm down" and "I'm up" mean the fxxking same?
did i just bork english
 
8:14 PM
@LeakyNun I and English should be capitalised, lol.
 
@Jasper dId i just bork ENGLiSH
 
lol
 
kek
 
@TobiasKildetoft hi :P
 
@Liad Hi
 
8:16 PM
@Liad I did, we went through 2 chapters of Kunen and then we had other stuff to do and we couldn't keep up
 
@Balarka Too Western/normal for my taste. I mostly listen to Russian/Balkan music and meme music these days. So Remove Kebab is such a golden combo, I've been listening to it a lot:P
 
@TobiasKildetoft hi
 
@LeakyNun Hi
 
(I only judged his face btw. maybe it was ironic)
 
@LeakyNun You can be down with something or up for something, and those mean basically the same
being up to something is of course slightly different
as is being down on something
 
8:17 PM
@Sha Someone should put Vitas on Remove Kebab
 
nah, I hate Vitas:l
he doesn't look Slav enough
 
how about the epic sax guy
 
@AlessandroCodenotti alright
 
hahahahah, too Western.
 
@TobiasKildetoft fxxk English
 
8:18 PM
look, the guy from Remove Kebab is PERFECT
don't change perfection
you will only fail
 
look i know everything about slavic faces, okay?
 
@BalarkaSen Right, epic sax guy. From the nation that also brought us people in pointy hats as long as themselves
 
what do you call a group action in which every orbit is of length 1?
 
sure you do. but you're not slav, and I am.
 
@LeakyNun trivial
 
8:19 PM
trivial?
 
shit
 
this is my jam
i know everything about the russians
 
are you serious?
 
@TobiasKildetoft its polar opposite being transitive?
 
8:20 PM
like.. I have an obsession with Russia
 
@LeakyNun basically, yes
 
I am actually going to talk to my study advisor next week to study in Russia for half a year, because I love it so much
 
@TobiasKildetoft Hahah
@Sha Serious about knowing everything about Russians? lol no
 
@TobiasKildetoft and they have trivial intersection :P
 
I am fascinated by Russian literature, poetry and film though
Art in general, I like Russian expressionism too, so
(Needless to say, I love Russian mathematics :P)
 
8:22 PM
a friend of mine who is like the top at our class said he didn't want to go to Russia for an exchange programme, because he was afraid he would be intimated by the Russians :P (mathematically wise) I'm still not sure how serious he was
 
I don't really know the Russian culture and society super well.
I grew up reading Russian folk tales and short stories.
 
alright, if you ever have a recommendation, feel free to share it:P
I'm off to bed
 
Oh, I'd be more than glad to.
Night.
 
Ok, it's time to bring back some math into this chat :P
 
the italian dude is about to drop some math bombs
imma take cover
 
8:32 PM
So, suppose $f:\Omega\to\Bbb R$ is a function, with $\Omega\subseteq\Bbb R^n$ open and connected (we can also take $\Omega=\Bbb R^n$ if it's easier) and that $\int_{B_r(x)}f(y)\mathrm{d}y=0$ for all balls $B_r(x)$ contained in $\Omega$
I can show that if $f$ is continuous then it must be the $0$ function
Without assuming continuity must it be $0$ almost everywhere?
 
@BalarkaSen sure, but every open cover has a finite subcover
 
@Alessandro Doesn't integrability mean $f$ is discontinuous on at most a set of measure $0$?
 
@BalarkaSen but the set can be dense
 
I think that's a theorem; integrable iff discontinuous on at most a set of measure 0
@LeakyNun So?
Wherever it's continuous it has to be zero
 
@BalarkaSen why?
 
8:36 PM
And it's discontinuous on at most a set of measure 0
@LeakyNun Calc I exercise; prove it
You can do it.
 
If it's a Calc I exercise Alessandro wouldn't put it here :)
and it's $\Bbb R^n$
 
Alessandro said right there that he can prove if $f$ is continuous it must be the 0 function.
It's just basic calculus, dude
 
that's assuming $f$ continuous everywhere
 
And $f$ is continuous on it's domain of continuity, by the literal fucken definition :P
 
@BalarkaSen Actually I feel like I should know that but I'm not sure
 
8:38 PM
@Alessandro Yeah I'm pretty sure that's true
 
@BalarkaSen but every ball can contain the discontinuous points
which messes up the integration
 
@BalarkaSen the indicator function of the rationals is Lebesgue integrable
I just noticed I didn't specify earlier, all integrals are Lebesgue integrals
 
@LeakyNun Oh, hm, maybe I see what you mean.
 
@AlessandroCodenotti it's still zero almost everywhere
 
@AlessandroCodenotti That's discontinuous on a measure 0 set.
 
8:42 PM
@BalarkaSen Isn't it discontinuous everywhere?
 
ok im actually sniped now arent i
@Alessandro Oh sorry I'm confused. Restricted to the irrationals, it's continuous.
But that's not what continuity on R means.
 
@LeakyNun Sure, but its set of discontinuity has full measure
@BalarkaSen Also restricted to the rationals then :P
 
9 mins ago, by Balarka Sen
I think that's a theorem; integrable iff discontinuous on at most a set of measure 0
so this is false then
this is only for Riemann integrals amirite
 
Right, sounds true
 
yeah, that's the Lebesgue integrability criterion according to wiki
 
8:45 PM
I was confused about the notion of integration we had in mind.
 
@AlessandroCodenotti what is?
 
yeah I should have wrote it but I forgot to
@LeakyNun Riemann integrable iff continuous almost everywhere
 
It's ok, it's just that I dunno anything about Lebesgue
 
Riemann-Lebesgue theorem
 
@AlessandroCodenotti but you said Lebesgue integrability criterion
 
8:46 PM
Bounded function on a compact interval is (Riemann) integrable iff continuous almost everywhere
It's the Riemann-Lebesgue theorem or Lebesgue integrability criterion, but has nothing to do with Lebesgue integration.
 
wat @_@
 
@LeakyNun I didn't pick the name, you should complain with Lebesgue I guess
 
It shouldn't be that surprising
Lebesgue made his integration theory to improve on Riemann integration
It's normal he did work on Riemann integration too, then.
 
I'd be very surprised if this turns out to be false, for an arbitrary measure space $(X,\mathcal{A},\mu)$ and a nonnegative function $f:X\to\bar{\Bbb R}$ we have $\int_X f\mathrm{d}\mu=0\implies f=0$ almost everywhere, and $\Bbb R^n$ is much nicer than the general case
 
8:49 PM
I wonder where the lines come from
 
@Alessandro Interesting question.
@Leaky u watching a minecraft video
 
@Jasper As you know, I'm just a simple worker in mathematics. Maybe I'm just more interested in these calculations than the rest of the chat.
 
u serious
 
In class we didn't have the nonnegativity, but as long as you deal with continuous functions everything is fine
 
@ShaVuklia awesome Sha! How are you doing?:P
 
8:51 PM
@BalarkaSen come on, think about my question :P
why does the negative space form beautiful lines
that aren't really parallel
 
@Alessandro Right, it's easy for continuous functions on a domain (Thanks @ Leaky)
 
Any natural number except 1 can be expressed as a sum of primes, right?
 
@LeakyNun Can you be a more precise about the statement? Maybe you're onto something
 
I'm in a hurry, I have to go.
 
The fact that geodesics diverge in negatively curved spaces is the origin of the various tessellation symmetries of such spaces, I believe
 
8:55 PM
@user76284 In 2013, Harald Helfgott proved that every odd number greater than 7 can be expressed as the sum of three odd primes
 
@user76284 This should follow from weaker (and actually proven) versions of Goldbach's conjecture
 
@TastyRomeo SNIPED
which should give you a nice upper bound of four primes (just add 3 to get back even).
 
At least I didn't copy wikipedia :^)
 
@TastyRomeo I also didn't
I only copied "In 2013, Harald Helfgott proved"
@BalarkaSen when you project equidistant 3D blocks to 2D, the negative space forms lines that somehow aren't parallel
 
Uh, I don't see the picture you're explaining
What lines?
 
8:59 PM
the blue lines
straight lines
I mean, shouldn't the blocks just fill the whole field of vision...
 
@LeakyNun You should change your name to Sealed Monk, lol.
 
@Jasper lol, obscurity squared
 
@LeakyNun How are the blue lines obtained?
 
@BalarkaSen negative space...
 
Oh maybe I see it now
 
9:04 PM
Ah, apparently every set of positive measure contains a closed set of positive measure and one can reach a contradiction by assuming that $f$ is $>0$ on a set of positive measure and using that fact
 
Those are the gaps; the block-towns are iterated infinitely often
 
I think that should generalize to metric measures on metric spaces then
 
@BalarkaSen I don't see how there should be any gaps at all
 
Those seem to be the limiting line the translations of the blocks converge to
 
which blocks?
 
9:07 PM
The various blocks. They get smaller and smaller near the lines don't they
 
Hm, maybe I'm still missing something, is it obvious that every open set in $\Bbb R^n$ can be written as the disjoint union of balls?
 
I can't believe I am analyzing a fricking minecraft video.
@Alessandro Disjoint union? Hm
 
@AlessandroCodenotti which closed set is contained in $\Bbb R \setminus \Bbb Q$?
 
@LeakyNun A copy of the Cantor set for example
 
@LeakyNun There are cantor sets there
 
9:09 PM
@AlessandroCodenotti positive measure?
 
Yup, fat ones
 
hmm
 
@BalarkaSen S N I P E D
 
@Alessandro Holy shite come on
I am getting sniped on the analysis I know
 
Anyway this answer uses the fact that every open set in $\Bbb R$ can be written as the disjoint union of intervals but I'm not sure I see that
 
9:10 PM
and rekt on the analysis I don't know
 
@AlessandroCodenotti it's true for $\Bbb R$
 
Does it work in $\Bbb R^n$ though?
 
and you can even write every open set as countable disjoint union of intervals
@AlessandroCodenotti I'm not really sure how you do that for say the interior of a cube
 
Ah, it's obviously false in $\Bbb R^n$
 
@AlessandroCodenotti hmm?
 
9:11 PM
just pick a connected set that isn't a ball lol
 
Not convinced
 
well, lol
@BalarkaSen if you could write it as disjoint union of open balls then it wouldn't be connected
 
Oh, ok, fair enough, we want open balls.
 
you can just pick one and union the rest to get two open sets whose union is the whole subset
 
that's annoying, that answer doesn't seem to generalize to $\Bbb R^n$ as well as I was hoping then
 
9:15 PM
@BalarkaSen I'm half convinced
 
Actually since the Lebesgue measure is Borel regular for every measurable set $E$ of finite measure and every $\varepsilon>0$ there is a closed set $F\subseteq E$ with $\mu(E\setminus F)<\varepsilon$
 
why would quadrilaterals be formed?
 
I should give up any remaining hope of doing math today
 
@BalarkaSen how do you define "today"? until midnight or until you sleep?
 
Until I sleep :P
rehi @EricSilva
 
9:18 PM
Yo
 
I'm swimming in the sea of unproductiveness and procrastination
 
I feel u
 
Do I try to save myself or do I let myself drown?
 
Am I misremembering or are you one of the measure theory people?
 
9:18 PM
I've done 2 much measure theory
@Balarka idk make healthy choices tho
 
I have the opposite problem, haven't done enough :P
 
Its useful sometimes for some things I guess
 
If $E_n$ is a decreasing sequence of open sets with $\bigcap E_n=E$, when is $\lim\limits_{n\to\infty}\int_{E_n}f\mathrm{d}L=\int_E f\mathrm{d}L$ ($L$ is the Lebesgue measure)
 
I don't understand why if $w^4=i \Rightarrow \overline{w^4}=\overline{i}$ ? — Daniel 12 mins ago
man conjugate is a function.
do i need to bring in Leibniz axioms
 
@Alessandro is $f$ arbitrary? what are its properties
 
9:33 PM
@EricSilva It's an integrable function
 
Lebesgue integrable @EricSilva
 
(because the question wouldn't even make sense otherwise)
 
@AkivaWeinberger hola
 
But I'm interested in a case where no nicer conditions on $f$ are known
 
well i mean you need something obviously, because $L(E_{i}) \to L(E)$ is a special case which doesn't always work
also i asked for clarification because to me (and a lot of PDE people) "integrable" means $L^{1}$.
 
9:37 PM
That's true as long as $L(E_1)<\infty$, isn't it?
 
ya
or if $L(E_{i}) < \infty$ for some $i$ or w.e.
 
yes, of course
 
and for $L^{1}$-functions this fact is trivial, so that's overkill
 
$L(E_1)<\infty$ can be assumed in the case I'm interested in
@EricSilva What do you mean with $L^1$-functions here?
Ah, wait, in the $L^p$ sense?
 
yeah
 
9:45 PM
hello
 
@Alessandro you could probably get away with just finiteness of $\int_{E_{i}} f dL$
you're gonna need that though for sure
 
That seems reasonable
I should go to sleep now, I'll think about it tomorrow, thanks!
 
@AlessandroCodenotti lol
 
good luck @Alessandro
 
9:59 PM
X_X
<- frustrated
 
0
Q: Show that the given set is convex and determine when it is a cone

ALannisterConsider the set $G$ of all functions $f: \mathbb{R}^{n} \to \mathbb{R}$ of $n$ variables such that $f(\overline{x})=c$, where $x \in \mathbb{R}^{n}$ is a fixed point and $c \in \mathbb{R}^{n}$ is a given number. I need to do the following two things: Show that the set $G$ is convex. For whic...

Anybody up for some convex analysis? I need an extra set of peepers.
 
10:41 PM
@TedShifrin Hi Ted
 

« first day (2610 days earlier)      last day (2418 days later) »