« first day (2589 days earlier)      last day (2728 days later) » 

22:00
How amusing it would be to have a joke/pun-free week in here!
@AkivaWeinberger isn't there a trivial surjective map from $\Bbb R$ to $\Bbb R/\Bbb Q$ that does not require choice?
@Semiclassical WUP?
@LeakyNun for each number $x$ in $A$, isn't the cosets of $S$ the pairs $(x, x+q)$ for $q \in Q$?
@Leaky: That map requires nothing.
It's a map backwards that requires choice.
Well-ordering principle
exactly, @TedShifrin
@Semiclassical U?
22:00
...
@LeakyNun Unordered.
That pun was accidental, and my dad makes more jokes than I do
Oh god.
Like we don't even compare
refuses to talk to any Demonark relatives
22:01
@orlp no, it's like $x+\Bbb Q$
@Daminark That was not unintentional.
You saw nothing. @LeakyNun
My mom doesn't make the jokes but she likes them
@LeakyNun ok, let me rephrase this
Lmao @Ted
22:02
for a particular $x$, how many $y$ are there such that $(x, y) \in S$?
Damnit, I have a joke but it may be too offensive :P
@orlp $S$ is a set of cosets
maybe a coset isn't what I think it is
@Wildcard I've made that deliberately before but really I was just saying that the axiom of choice not holding is just kinda wrong
{{1,3,5,...},{2,4,6,...}} for the equivalence relation saying that odd numbers are equivalent and even numbers are equivalent
22:03
Coset is really the wrong word unless we're doing algebra.
Equivalence class is the right word.
ohh
right
I thought you meant relationship pairs
@SteamyRoot Facebook me the joke
@Daminark The AoC is trivial for finite sets.
22:05
@TedShifrin yes, that's the term I'm familiar with
@LeakyNun but what is the answer?
@orlp of what?
the original problem
16 mins ago, by Leaky Nun
18 mins ago, by Alessandro Codenotti
@TedShifrin That's not my problem here, but I don't think there's a reasonable probability space for which this set is an event
heya @Lozansky
is that an elaborate way of saying $p = 0$?
22:07
No.
He's saying the question doesn't make sense.
or that the question itself is nonsensical?
True but I also take it for infinite sets. In fact I go with GCT :P
ninja'd :(
@Daminark GCT?
so what is the problematic part here?
$S$ doesn't exist?
22:09
@orlp the rationals are countable, and you can translate $S$ by any rational numbers and they will all be distinct depending on your rational number. Then you argue that the probability for all of them are the same and they add up to 1.
Sure it exists. Whether a measure exists on it that will be a probability measure is another question.
But then you can't have a number which after adding to itself a countable amount of times equals 1
Generalized continuum hypothesis
Offhand, I don't see why we can't define $\mu(W) = \lambda(\pi^{-1}(W))$, where $\pi\colon A\to S$ is the projection, $W\subset S$, and $\lambda$ usual Lebesgue measure.
Why am I being stooopid?
@LeakyNun $\dfrac{1}{\omega}$
22:12
@orlp $\dfrac1\omega$ isn't a real number
@LeakyNun it most definitely is
it's not a real number though
@TedShifrin this is interesting.
@Daminark Whereas I reject infinite cardinalities in the first place as referring to "sets." So there you have it.
Demonark, do you see anything stooopid about what I did? Each fiber is countable and has measure 0. No problem there.
what are we talking about? what are A and S?
22:14
does the set of all nonsensical sets contain itself?
Oh good, anon is here :) $A=[0,1]$, $S=A/\Bbb Q$.
mod x~x+q?
Right.
@anon $S$ is a set of representatives
@TedShifrin let's say you can. Then?
is there a way to choose a representative without the axiom of choice here?
22:16
@orlp no.
Oh, sorry. I was actually working with the set of equivalence classes, not the set of representatives.
I don't have an obvious way to decide what should be measurable in $S$.
I can't sleep. I give up.
Bad Balarka.
Do like all people here have a problem with sleeping?
22:18
It started with me.
I did when I had cancer, but otherwise no.
@TedShifrin I know Jacobi fields now
I can prove Hadamard's theorem
LOL, as I told you, i've taught Cartan-Hadamard about 5 times now, never with Jacobi fields :P
I don't have a problem with sleeping, I just can't be bothered unless I really need to
@LeakyNun I do
22:21
@Ted I guess I win on this one then
or well
it's only an issue because of obligations
without obligations my sleep schedule naturally shifts 1 hour per day
loool
i know right?
What's this mythical thing called a "sleep schedule"?
Not in my book, Balarka.
Winning: A Geometric Approach?
22:23
smacks Balarka — I proposed a one-week ban on all humor and puns.
Abstract Algebra: A Geometric Approach
@TedShifrin what is it about?
Do you have some highlights that I could understand?
@Wildcard I live for infinite sets
The same algebra you've been studying, Leaky. But I try to put more geometry in and there are lots of pictures even of things like quotients :P
@TedShifrin interesting
I do have a chapter on projective geometry which is nonstandard.
22:24
Also I'm sad you didn't title your diffgeo book "A Geometric Approach"
do you do constructible numbers there? @Ted
@Daminark Geometry: A Geometric Approach
@Daminark coz that's an abstract algebra approach :P
The order is non-standard but not unique — using $\Bbb Z$ and polynomials to motivate commutative rings, things like splitting fields early, and then groups later, then Galois, etc.
Sure, @Leaky.
I didn't title the multivariable math book "A Geometric Approach," either, Demonark.
Do you recommend Thomas W. Hungerford?
22:26
Undergrad or grad? He has both.
Undergrad he does rings first. Graduate, not.
undergrad
why don't you just read artin bruh
(do you think I would be reading grad materials?)
Hungerford grad is quality in my experience so far
It's ok. Obviously, I like mine (largely for exercises) a bit more. He does a bit more field theory stuff, if I remember right.
It's accessible, Demonark. I like D&F better for that level.
22:27
looks like a good mathematician is also acquainted with different books on the same topic.
Leaky, presumably you'll take a course in university and use whatever book the prof wants.
@TedShifrin what do you mean?
What do you mean what do I mean?
does that mean I should also read different books or does that mean I will actually just read one book?
Generally, students learn from their professor and the text he chooses. Some students try to read other books if they dislike the professor's choice.
But often reading lots of books ends up more confusing than helpful.
22:29
My gripe with Artin is that it delays Sylow I think. Though I tend to care about Sylow more than most because it was my initiation into algebra
Then why do you know so many books?
@Daminark in my book Sylow is like Chapter 36
around P.300
Well, Demonark, that's not a valid gripe. We covered it first semester. It's hardly delayed.
Artin is, IMO, the best choice for a bright undergraduate, bar none. It teaches mathematics, not just algebra.
2
Heya Faust!
Morning!!
super excited school starts tomorrow =)
Cool, Faust. :) Then you won't need to talk to us any more :P
Noice
22:32
If im in classes i assumed the number of stupid questions i would be asking would increase :p
Then you ask your professors and fellow students :)
Did you ever go back to talk to your topology/geom guy you're scared of?
It's 6:33 AM and I'm having camp 7 hours later. Bye everyone.
Night, Leaky.
Peace!
more like morning
the sky is fully bright now.
22:34
And I said you should, so ...
No but i did go by his office today to see him but he wasnt in
No big deal.
my adviser recommended i go talk to him as well
Yes, I saw.
got a crazy full shedule dont even have time to eat
on mondays and thursdays
22:35
@Balarka: You like my hint here?
Not eating lunch is a bad idea, Faust.
At least bring a sandwich from home.
yeah im more worried about whos class ill have to eat in
@Daminark you mean "it's everyday BROOO Peace!!"
Well, once again, explain the situation. You should be able to eat a sandwich pretty quickly.
its pretty rude but im not sure i can do 830-3:20 without food
You shouldn't.
If you have two classes nearby, you should have time between classes, too.
22:37
yeah i hope so i havent looked at the buildings thatsa tomorrow job
@TedShifrin Yep, that's all that it takes to solve it
But, again, usually, if you explain the situation, most professors are understanding.
yeah most people in this world are pretty reasonable
I remember it took me a while to think of that many years ago, Balarka :P
i guess im going to get a tutor so i dont have to bother you too much :p
22:38
Faust: I tended to be way more understanding if students asked me for help before the fact rather than having a disaster and then wanting help too late.
Technically you can also come up with a smooth section first, show that means the self-intersection number of the zero section is -1, and use that to prove there is no holomorphic section.
@Balarka: Or, more naturally, come up with a meromorphic section with a pole :P
True, agreed.
@TedShifrin im sure i can find a prof around lunh time that doesn't care if i scarf something down during the begining or end of their lecture.
I'm going to start reading Forster soon
22:40
Cool, Balarka. I always concentrated on the middle sections.
You know the covering space stuff, anyhow. Now you'll have to play with sheaf cohomology :)
@Faust: I'm sure you can, too.
Yeah really looking forward to sheaf cohomology
What's that? And lol I should be serious about k-theory to distract you from whatever it is
I know absolutely 0 about it
G'night, Balarka. I'm outta here for now.
@TedShifrin You liking your teaching gig?
22:41
That = Forster and sheaf cohomology
lol k gnight
@Daminark Yeah man what the hell, we're supposed to do K-theory
See ya @Ted
whats k theory?
At home I've been spending time with parents and can't really stay up until 5AM like before
Have you ever heard of cohomology?
no =(
22:43
why do you need to stay up until 5AM to do k-theory
I mean that's a time when I would be awake and uninterrupted by the duties of life
lol wth
But okay so cohomology is basically a sequence of groups you give to a topological space that has to satisfy certain properties
yeah i actually understood the wiki explanation sort of
though my grasp of a topological space is not so great
other than its kind of like a vector space but has something to do with metrics
22:48
First is that it should interact nicely with homotopy and suspension, then you have this technical condition about continuous maps, and a last one I forget
If you add a fifth one about the 0 cohomology group you reduce to the standard one that people first studied
But other theories come up if you kill that one (other conditions don't make much sense to try to break)
K theory is one of them, and it's associated with these things called vector bundles
Vector bundles are a way to formalize the idea of "continuously stitching" vector spaces to a topological space
And re topological spaces, it's not really like vector spaces. Those are a certain type
In R^n you have the notion of neighborhoods of a point, like you need to have a ball. Topology is basically that sort of thing
Hello guys!. I have a question. There is some function or something in matlab or octave that gave me the solution of a system of equations? or i have to program that?
for example for the cholesky factorization i can work with chol(A)
Okay that was total Sanskrit, with time that'll make sense. It's really dank stuff
So do check it out at some point in your life
Also i need the matrix Q and R of the gauss seidel method, i need to program that as well?
@Daminark thansk for the explanation i read it and t helped now that im finnaly back form that detour
apparently its not just our province that is on fire but our economy is over heating as well
23:04
Give me my mixtape back!
23:37
@Ted Lang's a funny guy though.
@Dami Are you still in the same state as me?

« first day (2589 days earlier)      last day (2728 days later) »