« first day (5210 days earlier)      last day (106 days later) » 
00:00 - 18:0018:00 - 00:00

00:00
@BenSteffan what's the idea behind proving it?
If you take a straw, then poke a hole in it, it is no longer homotopy-equivalent to a straw.
using tools from algebraic topology that trivialize the problem
You get more loops!
If you take a straw, then poke a hole in it, it is no longer homotopy-equivalent to a straw.
there's other ways, too
if you have access to the whitney approximation theorem you can reduce to the case of non-surjective loops which is easy
you can do something similar using PL techniques
maybe there's an elementary manipulation you can do to get the loop to not be surjective, not sure
lol, you're talking to me like you would to a student of your caliber hahaha
00:02
not really
@Claudio You seem to be making some kind of assumption about how good a student I was...
I'm just mentioning the names of techniques you could use
I'm not expecting you to know about them
all you need to do is use the easier half of Seifert-van Kampen
the point is: if the loop is not surjective, then it's easy (use stereographic projection)
@BenSteffan Like, pick a space-filling curve from $\mathbb{R}$ to $\mathbb{R}^2$, and one-point compactify it?
00:04
@BenSteffan lol, so it was stereographic projection she was talking about(she didn't mention it but I knew it was that)
@Thorgott sure, I guess that's reasonable to do directly
@DannyuNDos If you can find a proper space filling curve like that, sure
@Claudio Something that you will eventually come to realize is that there is a lot of jargon in mathematics. You don't have to be particularly smart or clever to use it and understand it. You just have to be immersed in it long enough for it to stick.
@XanderHenderson maybe you were a god-level student I guess :P
@Claudio Nope.
I failed out of college in my first two years, dropped out three years later, and eventually finished a bachelors degree 10 years after I started. After that, I did okay, but I was not a model student.
I failed calculus, even.
I would've never guessed such a life path hahaha. Life is indeed interesting sometimes
last question before I go to bed: can a closed loop cover the whole surface of a sphere?
00:10
@Claudio Do you know what a space filling curve is?
Peano curve joins the chat
no, but I just found a question about space filling curves :p
@XanderHenderson are these curves connected to the idea of connected and simply connected we were talking about before
I have a basic doubt. If $f=g$ a.e. and $h$ is some function, under what conditions is it true that $f\circ h=g\circ h$ a.e.? I found this, and it makes me worried.
@psie as far as I can tell, $m_*$ is a complete measure. it is $\rho \times \sigma$ that is not complete.
oh interesting
00:15
@psie it depends, $h^{-1}$ could map into the ae. set
@psie I guess you already have a counterexample?
@Claudio only in the sense that they make a direct proof hard
I see.
the crucial element in many of these things is that you want the inverse to map null sets into null sets.
Hmm ok. Anyways, it's gotten way too late, my time has come since I have lectures at 8 am tomorrow. Bye everyone and thanks for the inetersting discussions :p
00:17
cya
I'm so glad I have the days of 8 am lectures behind me
8 am? That's quite early.
When I was undergrad, my friends considered 9 am to be too early, so
@copper.hat I looked at the text again. Here's a screenshot and it says that $m_\ast$ is a Borel measure. Do you still think it is complete?
This is a , but: Why do we need measures when McShane integral is a thing?
@DannyuNDos because we don't do just real numbers
00:24
@psie indeed, but if $N'$ is a subset of a zero measure $N \subset (0,\infty) \times S^{n-1}$ then $N'$ also has zero measure.
@Claudio Connectedness is a fairly broad topic in topology, with lots of different notions that all try to capture some aspect of what it means for a space to be connected. But "simply connected" is one that has always felt like a bit of an odd duck to me.
@psie the map $\Phi$ is locally Lipschitz.
ok, Lipschitz
@psie i could easily be missing something.
it's ok :) Folland is terse
00:34
@psie i must be missing something. Folland defines the product measure as the outer measure with respect to the measurable rectangles, and in my world, so far, an outer measure is complete.
@ILikeMathematics I can't paste the javascript into the address bar. I need to have it as a link on the shortcut bar. I don't know if Chrome has that. There is a suggestion on the installation page for Android and Chrome.
@copper.hat well, we start with a premeasure $\pi$ on the algebra of finite disjoint unions of measurable rectangles. This induces an outer measure $\mu^\ast$ and then we take the restriction of this outer measure (note restriction) of this outer measure to the $\sigma$-algebra generated by algebra of finite disjoint union of rectangles. We could also get a complete measure by restricting to the $\mu^\ast$ measurable sets, if we would like to have a complete measure.
@think_meaning_builds Thanks, though I have been checking in here several times a day. We've had some medical issues here recently.
yikes, sorry to hear it @robjohn. but best wishes as always.
@leslietownes Thanks. We are doing better, though my wife fell and has hurt her ankle.
00:42
my daughter broke one of the bones in her finger last week (or, more accurately: another kid at her school did this, unintentionally)
so best wishes from our orthopedist to yours.
@psie I was just accused of understatement!
ah yes there, I found it, ok :)
I am drinking an erythritol enhanced earl gray
00:47
sorry to head about the ankle & finger :-(
@psie i suspect that what i am missing is that the $\sigma$ algebra on $(0,\infty) \times S^{n-1}$ is incomplete, so any concerns would be about measurability.
let me mull this a bit more and consult my expert when he is awake
hmm... I hope this doesn't occur in small amounts
@copper.hat yeah I think the $\sigma$-algebra on $(0,\infty)\times S^{n-1}$ is incomplete
today I've come to appreciate that the join operation behaves much better on augmented simplicial sets than plain simplicial sets, for it actually supplies them with a biclosed monoidal structure
the product algebra is definitely incomplete, take any
wow, i thought i had good grasp of this stuff.
this 5 microsecond edit window is annoying
I agree, chat needs an update
01:01
@Jakobian I am sorry for your loss.
@Thorgott I'm slightly scared to asked what lead you to that point
@leslietownes My daughter missed a week of school in mid October due to pneumonia.
@XanderHenderson is erythritol actually dangerous
@Jakobian No idea. I don't even know what it is.
it gives you a (somewhat) direct formalism for doing Joyal-Tierney calculus with joins/slices
01:03
a sugar alcohol, a sweetener
Google says it is associated with blood clots.
And other heart problems.
But I generally distrust every not-sugar sweetener.
I bought it to sweeten my tea, and now, I am scared
The cnn article cites a pilot study on 10 participants
whose finding is that markers of clotting risk were increased
that's very far from saying that this sweetener actually causes blood clots
@BenSteffan Oh, I didn't click on any of the links.
Google says it is associated with blood clots.
"associated with" is a nice term to use if you don't have good evidence for causal relation
01:09
It's fake sugar, it must be bad, so if the first thing Google says is that it is a deadly poison, I believe it. No further checking required. :D
(I did note the weasel words, though.)
(internally)
(to myself)
should I throw out the bag of my erythritol in the trash
could it be that there is a causal relationship? certainly. but note that nobody in the study actually developed blood clots, and if cnn's reading is to be believed the estimated clotting risk doubled
now, how high is your base clotting risk?
if you're healthy probably very low
2 times small number is still a small number
I have no idea
let me also quote this:
“Consumers should interpret the results of this pilot with extreme caution. The limited number of participants, a total of 10, were given an excessive amount of erythritol, nearly quadruple the maximum amount approved in any single beverage in the United States,” the council’s president, Carla Saunders, said in an email.
If I were you I wouldn't worry too much, as long as you use it sparingly. The fact that it is on the market already means that it has undergone testing and is generally considered safe in the recommended doses.
On a completely unrelated subject, do you suppose that there is a Cameo-like service where one could pay to have Shohreh Aghdashloo read the phonebook to you?
@BenSteffan To be fair, quadruple isn't that much---people often have four beverages.
Or over-sweeten things.
But, yeah, probably fine.
And $n=10$ is useless.
01:14
yeah
Surprising that any such study could even be published.
you can be reasonably sure that there will be follow-up studies to this which will settle the debate
@XanderHenderson what's a $p$-value anyhow
@BenSteffan Weirdly enough, $p$-values seem to be falling out of fashion. Big data is everything, now.
Big data ($n = 10$)
If you don't have an $n$ greater than the number of atoms in the universe, who cares.
01:17
the result is statistically significant if an AI does the analysis
But seriously, how do I get Shohreh Aghdashloo to read me the phonebook? or, frankly, anything else?
01:32
I guess I'll use up the bag of erythritol I bought and then never touch it again
that sounds reasonable?
I found this discussion on the study
The Ihara zeta function (for a finite connected undirected graph) is invariant under graph automorphisms, because the adjacency structure is preserved and hence the primitive cycles are preserved. Is there anything more to be said about this?
It is also that erythritol is produced in excess with people who eat high amount of sugars
@Jakobian Seems like an overreaction.
I don't know, strokes and so on are something that is the main cause of death
so it is pretty important to me if erythritol causes blood clots
01:48
Again, what is your risk now? Tiny.
Even if the study is to be believed, double your risk is still tiny.
You are probably shortening your life more worrying about it.
@AlexanderPope i posted a version of your question (with attribution :)) math.stackexchange.com/questions/4995653/…
@XanderHenderson I don't know, I'm not the healthiest person
I think I'll pass on the sweeteners, I've been doing fine not taking anything sugary for a while now
although I will finish this bag of erythritol I have
02:06
if you cook it up with baking soda the erythritol "base" will rock up into a smokable form
uh... like a volcano?
i don't know. you were talking about finishing a bag of somthing, sort of like it was cocaine, so i made a joke based on how you can make crack out of powder cocaine
oh, I'm not knowledgeable on how you make cocaine
02:26
Consider a co-dimension $1$ surface of revolution $L^{n-1}$ and an embedding $e:L^{n-1} \hookrightarrow X^n$ for $X^n=[0,1]^n$ with points $p,q$ elements of $\partial X^n$ where $\partial X^n=X^n-(0,1)^n$ for $\mathrm {sup}~ \mathrm{dist}(p,q)=\sqrt{n}$. Assume $L^{n-1}$ has constant positive sectional curvature and maximal volume.

Next replicate this symmetrical manifold, $L^{n-1}$, $2^{n-2}$ additional times. In each replication, the cone points on $L^{n-1}$ align with unique pairs of vertices on the boundary of the $n$-cube. Take the union of all these surfaces - there $2^{n-1}$ total.
For $n=3$ we have $\chi(\mathcal I^{n-1})=0$. I don't know how go further
02:43
For $n=4$ we have $2^3=8$ copies of $L$ in $X^4$
02:58
@leslietownes heh
 
9 hours later…
11:32
hi
11:45
@RyderRude hi
12:49
Let $\mu$ be a measure and $f\in L^+$. Is then $\nu(E)=\int_E f\,d\mu$ complete if $\mu$ is?
As far as I understand, $\nu$ and $\mu$ are measures on the same space.
Certainly, if $\mu(E)=0$, then $\nu(E)=0$. I'm not sure if this is completeness.
I think it is though.
13:44
@Jakobian hi
@SoumikMukherjee hi
i saw The Omen. It is a great movie. It's about anti Christ born as a human
then there is a plan for him to take over the world with evil
his foster dad investigates his origins
@RyderRude Which version?
The 1976 version is kind of interesting (I'd give it a 3 / 5), but I felt like the remake kind of missed the point.
pie
pie
14:00
Can someone with a bachelor's degree in electrical engineering apply for a master's degree in pure mathematics? Apologies for my ignorance.
@pie Depends on the rules
Which can range from state laws to local faculty decisions
So it is always better to ask people responcible for the specific masters program
14:22
@pie Where?
In the US, anyone can apply to pretty much anything. Nothing stops you. As to whether or not you'll be successful...
That's another question.
@XanderHenderson i saw the 1976 one
i would give it 7/10
the anti Christ himself is powerless in the movie. But it's satan who interferes with the world
@psie well its not
pie
pie
14:39
@XanderHenderson
I’m not sure exactly where yet, but I’m hoping to study somewhere with strong programs in pure mathematics. My country’s college education system, especially in math, isn’t very strong, so I really want to study abroad—maybe in the US, Europe, or Canada, or anywhere with a good education in pure math. I know it would be difficult to achieve, but it’s my dream.
pie as others have said it depends on the program. generally speaking the kind of program that would do that would not be competitive to get into, and also probably expect you to pay for it (whereas a more selective program might provide funding to a more limited number of students).
pie
pie
But it is good to hear that is possible.
@leslietownes That's tough to hear because I can't afford anything in a first-world country.
the master's in math in the US is kind of a weird degree, many graduate programs basically don't offer one, or only provide it on the way to getting a phd. there is often a specific focus to a masters program, e.g. it might be designed with a K-12 education focus or something. if there's a research focus it would most likely be something you worked out with a specific advisor and not something the department was just set up to provide people.
@pie for programs that aren't funded, i would expect almost anywhere else to be cheaper, the cost of education in the US is kind of out of control. haha
@pie As @leslietownes, there aren't a lot of places in the US where one would apply to a masters program in mathematics. Typically, you apply to a PhD program, and end up with a masters as a consolation prize if you drop out after finishing your coursework.
Though there are pure math masters programs without that set of strings (I, myself, completed one before applying to phd programs).
(Not sure if that program still exists as it did when I did it, since the department now has a phd program.)
yeah, in california, a few CSUs offer them, or used to. i don't know of a UC that does, except maybe rolled into something else (e.g. a bachelors program with an education focus)
14:48
@leslietownes Yeah, the primary distinction between the CSUs and UCs is that the CSUs are supposed to offer phds (except, maybe, in a few limited cases).
funding is the tricky part. the last time i looked into this it was like, any number of places were happy to have you, but you'd probably need to pay tuition and things. which seems not great to me.
Officially, the UCs don't admit people to masters degree programs in math, but it is pretty simply to apply to the phd program and masters out after two years.
@leslietownes In the US, most graduate programs come with funding in the form of teaching assistantships. That doesn't cover everything, but it helps. And if they want you, as a foreign student, they'll typically find a way to make sure that they can have you.
most [non exploitative] graduate programs [in math] :)
math is better about this than a lot of disciplines.
but the kind of department that will admit you without regard for whether you might be able to TA "right out of the box," for example, will probably expect you to pay
@leslietownes Yes. I probably should have included all those caveats.
i once had a friend who discovered this guy she was dating was a serial liar because he said he had a masters degree from a department that didn't offer one (or have a phd program that might, on the off chance, provide one)
14:55
But I was focused on math programs---they can generally afford to have a lot of TAs, as they have a lot of service classes to teach. English departments are also often good at this.
it was the tip of a very big iceberg
it was a preposterous lie, too. "astrophysics."
plausible would have been, like, i have a masters in education, or something. sure you do. how could you even disprove a thing like that. :)
quick, say something that only a masters in education would know.
15:03
I have a masters in education from Sam Houston Institute of Technology.
i dump on the masters in education because my dad has one. hilarious
@leslietownes My father dumped on ed degrees in general (particularly doctorates in "educational leadership"). But he didn't have an ed degree. A phd and an jd, but no edd.
xander in my dads case it was just 'a masters you can do on the GI bill,' utterly no intention behind it. which feels better than getting one, like, on purpose.
it was pretty common for public school teachers in my district to get them because some salary formula meant if you had one you could be paid more. which is also a defensible use of the degree. i think most of the 'scholarship' that goes on in ed schools is horseshit
15:12
@leslietownes Yup. And that is a great reason to get a degree. But it doesn't mean that the degree is worth much.
See also: a masters of education from the University of Phoenix.
like the scholarship in law schools, i might add. just a kind of bubble, formed by people needing to go to graduate school in something, and professors at such schools needing something to do
i forget if it's my grandfather or grandfather's brother who had a phd in education. my grandfather was a high school principal, which feels like, yeah why not.
@leslietownes I am more dismissive, I think, of ed programs. The real work of understanding how to teach people is in psychology and sociology and related fields. But ed programs have to be able to claim that they are doing good research, so they end up being somewhat anti-intellectual.
at some point far enough back it was probably just a penmanship test or something, no theory
something i have detected in a number of ed papers i have read is an unusual hostility to the notion of subject matter expertise. it's like everything needs to be a blank slate so that a field of Education, divorced from anything more specific that specific people might actually need to know, can say something about it
it also means you don't need to read or cite anything other than other papers in education from the last X years
15:26
@leslietownes There's a phrase for that...
Circle... something?
Jerk!
That's the phrase.
16:17
Happy friday
$$\text{Mon} : \pi_1(\mathcal{I}, p_1) \to \text{Hol}(\Gamma_{\mathcal{I}})$$
Is my notation clear?
What I am trying to convey to my audience is, a monodromy representation, associating each homotopy class of loops at a certain basepoint $p_1$ to a holonomy transformation
pi_1(X,p) has fairly self explanatory meaning to me as a fundamental group, the rest of that stuff is meaningless to me
this doesn't strike me as a situation where you would want to rely on notation to do any explaining for you
even in the fairly standard setting of pi_1 meaning what it usually does there is static in the background of what kind of space are you working in, such that the choice of base point might or might not matter. prose is going to have to address that
16:35
@ModularMindset No, but you are asking the wrong question. You should be using notation in context to explain some idea. If you are asking "is my notation clear?", then I assume that you are inventing some new notation. That's fine, as long as you include some explanation of what that notation is supposed to mean.
Not being in your area of mathematics, my assumption would be that $\operatorname{Mon}$ is some kind of function (or possibly functor), that it acts on the fundamental group ($\pi _1$) of some topological space that I know nothing about, and lands in some place called $\operatorname{Hol}(\Gamma_{\mathcal{I}})$, which is a completely mystery to me.
But, again, I am only reading a bit of notation in isolation. Presumably, everything there will have been defined elsewhere, previously.
@Jakobian maybe that wasn't the statement of completeness. But if $\mu$ is complete, i.e. it is a measure on a complete $\sigma$-algebra, then I'd guess so is $\nu(E)=\int_E f\,d\mu$, since they are measures on the same space. Right?
what is a complete sigma-algebra? sorry if i am butting into some longer conversation here, feel free to ignore this. the notion of completeness i am most familiar with assumes not just a sigma algebra but a measure and it is the measure or measure space or whatever that is said to be complete, not the sigma algebra.
this @leslietownes
@psie Potentially, $\nu$ can have more measure zero sets than $\mu$, so you need to prove that either this doesn't happen, or that subsets of these additional sets are still measurable
@psie That definition is about measures.
Not $\sigma$-algebras.
It defines a complete measure.
16:47
maybe any sigma algebra other than the power set is incomplete. maybe the power set is too, depending on your set theory :)
@XanderHenderson yes, it is about measures, but we can only speak of a complete measure if its domain includes all subsets of null sets. So the domain comes first (the complete $\sigma$-algebra), then the measure.
@psie No, to define null sets you need a measure
@psie Nonsense.
There is no such thing as a "complete" $\sigma$-algebra.
Completeness is a property of a measure, or of a measure space.
@XanderHenderson From an outsider perspective(e.g. not a math student), I kinda feel the same about it. I have a question, which probably will sound stupid to you: is it possible that simple-connectedness gets much harder to prove as the dimension of the space gets larger (I mean $R^2 \to R^3 \to ...$), than connectedness
@Claudio That depends on what you mean by "harder".
And what kinds of spaces you are thinking about.
16:55
@XanderHenderson Standard euclidean spaces I guess
@Claudio Well, all Euclidean spaces are contractible...
(assuming that Euclidean space means $\mathbb{R}^n$ with the usual topology).
@XanderHenderson are you referring to the spaces itselves, maybe I should say objects living in them
But topology is not my field, and I am not really qualified to speak much more about homotopy groups.
@psie lets start with this, on what $\sigma$-algebra is $\nu$ defined? I think its not a complete measure
Now that I think about it, it might not even get harder anyways, since one actually gets to use more powerful mathematical tools :p
16:59
@Claudio isn't being simple-connected a property of a space?
@XanderHenderson yeah I'm just speculating on things I know nothing about, it's a bad habit of mine, I will stop now hahaha
@Jakobian I believe that he originally said "Euclidean spaces", but meant to say "subspaces of Euclidean spaces".
I don't know in what way are you saying that simple-connectedness is easy for the plane
@Jakobian yeah, I phrased it terribly, but I mean like $R^2$ without a point or $R^3$ without a ball
the idea I have is that you are talking about some characterization of the form "every vector field is conservative"
17:02
@Jakobian I would say at least the $\sigma$-algebra that $\mu$ is defined on.
You see, $\lambda$ is a measure on $\mathcal M$.
@psie But what is $\nu$?!
you got me, but when I think about s.c. I think about contracting closed curves continuosly to a point, ecc ecc
@psie then it definitely doesn't look like $\nu$ is complete. For example, if $f\equiv 0$ then for $\nu$ to be complete we'd have to include the whole power-set, but $\sigma$-algebra of $\mu$ is usually not defined on the whole power-set
I'm so lost about what it is that you are trying to show or understand!
@Claudio Maybe try to prove whether 2 copies of S^n intersecting but not touching at a single point yields a connected intersection set
17:03
21 mins ago, by psie
@Jakobian maybe that wasn't the statement of completeness. But if $\mu$ is complete, i.e. it is a measure on a complete $\sigma$-algebra, then I'd guess so is $\nu(E)=\int_E f\,d\mu$, since they are measures on the same space. Right?
psie did define what $\nu$ is
ok, I see
But, if $f > 0$ almost everywhere, then it does seem like $\nu$ is complete
Because then $\nu(E) = 0 \iff \mu(E) = 0$
so its not completely utterly worthless attempt
@SoumikMukherjee I should mention that physicists don't have topology courses hahahah, it'd be pointless to even try to understand what you linked as of now
Yeah I'm pretty sure you are looking for characterizations of simple domains in terms of integration
17:09
@Claudio what I linked is something that kinda answers your question. Fundamental group is something that tells wheather a (path connected) space is simply connected or not.
@SoumikMukherjee I see
@Claudio maybe I am wrong about this, but I think what you really want is de Rham cohomology, and in particular, conditions for every $1$-form on an open connected set to be exact
See here.
@Jakobian This is an interesting question and the way it's written makes it understandable even by me, the answer, on the other hand, is the exact opposite :p
that being said, I've seen these names pop up in mathematical physics (but only by user like Urs schreiber, who's pretty much a mathematician)
17:24
$\frac 1n \gt \prod^n_{k=1} \left(1 - \frac 1{p_n} \right) \geq \frac 1{n+1}$
$p_n \text{ is the } n^\text{th} \text{ prime.}$
for the sake of everything that is holy, keep away from Urs Schreiber
@Thorgott I don't understand.
@TheEmptyStringPhotographer it wasn't a response to you
i took it as a generally applicable piece of advice, even if it was not directed to me
17:32
I do not understand what he does to begin with :p, I didn't think you guys knew who he was. Why do you say so? I'm kinda interested now
@Thorgott wait, maybe it's better not to investigate any further, forget what I said, let us act as though I didn't mention his name in the first place :p
>_>
<_<
🙈🙉🙊
17:47
@Thorgott for academic reasons or for other reasons I'm not aware of?
17:58
no no, just academic reasons
Hi
00:00 - 18:0018:00 - 00:00

« first day (5210 days earlier)      last day (106 days later) »