« first day (5232 days earlier)      last day (84 days later) » 

01:51
Is it true that every braid can be written as a product of pure braids up to a factor of a permutation?
02:23
@BenSteffan $\mathcal{A}$ is a barycentric refinement of $\mathcal{B}$ if for each $x\in X$ there exists $B\in\mathcal{B}$ with $\text{St}(x, \mathcal{A}) = \bigcup\{A\in\mathcal{A}:x\in A\}\subseteq B$. If every open cover of $X$ has open barycentric refinement and $\mathcal{U} = \{U_x :x\in X\}$ is an open cover with $x\in U_x$, can we find barycentric refinement $\mathcal{V}$ of $\mathcal{U}$ with $\text{St}(x, \mathcal{V})\subseteq U_x$?
I think this should be true if one takes barycentric refinement of $\mathcal{U}$, and then again, and maybe few more times
I don't really see why this should get you what you want after finitely many steps
02:53
I don't know. My hope is that after taking enough barycentric refinements, the cover will shrink so much that it will hold uniformly for all $x$
03:31
yeah... I guess there's no reason to believe this is true
04:16
I'm looking at the proof of 4.8, that 2 implies 1
I'm not sure how they got that $U^2\subseteq W$, looks wrong
We are given that there exist neighbourhoods of the diagonal $W_n$ such that $W_{n+1}\circ W_{n+1}\subseteq W_n$ and $(W_1(x))_{x\in X}$ refines $(W(x))_{x\in X}$. Why would that imply, say, $W_2\circ W_2\subseteq W$?
 
7 hours later…
11:22
@BenSteffan I'm thinking of whether I should take Physik or Informatik as Nebenfach now.. Have you heard of anyone taking either; what would you say is more mathematical at Bonn?
11:38
@Joe an affine open set is an open set isomorphic to an affine variety and $k[X']$ is the ring of regular functions
 
3 hours later…
14:38
Why is the phrase "within the right category" used here? What category has to do here?
I read this as a reference to how people in geometric topology use the word
there's the topological, smooth, and PL categories and then you talk about how some property holds in some of these 3 categories but not the others
to know what "locally isomorphic" means you then have to specify the category, and here it's the smooth one
Oh okay, thanks
@ILikeMathematics Physics will have you do more "mathematics," in the sense that much of it is inherently computational. But you will have to accept the fact that physicists don't really care all that much for mathematical rigor, and the way they approach things could often be characterized, from a mathematician's perspective, as haphazard.
Computer science will have less mathematics, and I believe that most mathematics you could learn there you could also learn "in-house" by taking courses at the institute for discrete mathematics (but this could also be a benefit: you get to learn about some of the things you would learn in a course there without having to actually take one, which is generally a grueling experience)
You should also be aware that physics is by far the Nebenfach with the highest workload
whether it's worth taking depends strongly on your personal interests. if you really like things like analysis and differential geometry, it will probably level-up your computational skills and your intuition. if you're going into, say, algebra I wouldn't bother.
15:13
Does anyone here see why Lemma 16.8 can be applied? ($v$ in Lemma 16.8 is pretty specific)
15:40
@BenSteffan Ah, when looking over some of the CS exercise sheets, a lot of it looked mathematical (i.e. there was some sum or function and you need to find the optimal value for some parameter etc.). Theoretische Physik I and II are both 9LP, then there is still 6LP missing which would be covered by Physik I, but that's experimental and I assume not so mathematical.
I guess one could instead go for Theoretische Physik III which is 11LP and would be overkill
Maybe theoretische Physik even has Physik I as requirement so that wouldn't work out
sure, but CS will also teach you more about programming and things like how a CPU works I think
I've never bothered to check what courses you can and cannot take with them for your nebenfach
which is all fine and good
if you were to go into discrete mathematics that might be very useful, in particular if you want to work at the institute during your studies
doing software development for minimum wage, etc. :^)
I think I like purer stuff more
then take philosophy :P
it's free CP, almost literally
15:47
Philosophy is one of those yappy subjects
Yes, but it's very low effort
the bars both of entry and of doing well grade-wise in it are extremely low
hell, the exams are entirely reproductive: here's a question about the material of the course, you have 90min to vomit everything from the course related to it onto the sheet of paper in front of your
if you can recall more than, say, 50% of the material even fairly roughly you will walk out with a 1.0
take it from me, because I took it as my Nebenfach :)
Did you take any philosophy of logic :^)
no, we don't get to do that
the logic courses are off-limit
presumably because our department thinks learning about rules of inference that are presumed known in the first week of math lectures for half a year ought not qualify you for additional CP
but I wouldn't have taken it anyways
having to deal with people struggling with even a basic understanding Russell's account of the mathematical structure of natural language in a seminar was enough for me
True, but isn't the mathematical structure of nature language behind AI and chatGPT?
uh, no?
you can make a point that the statistical nature is
we have by-and-large moved away from this whole "natural language follows a strict mathematical/logical structure"
16:08
@BenSteffan Ben, on which year of your UG are you now?
1st term masters
Oh
Do you happen to know Konrad?
not personally
but I know who he is :)
Bonn is small, huh :D
as far as math is concerned pretty much
16:14
Is 1,0,0,0,... a modular form? I asked the bing copilot and it said yes when I referred to the Liouville theorem for constant functions.
"When the weight k is zero, it can be shown using Liouville's theorem that the only modular forms are constant functions."
.
It appears that Sum_{k=1..n} T(n,k)*A023900(k) = A063524(n).
oeis.org/A063524 = 1,0,0,0,...
f(x,y,z,p) = x^p + y^p - z^p is the Fermat equation.
T(n,k) = Sum_{z=1..n} Sum_{y=1..n} Sum_{x=1..n} [GCD(f(x,y,z,p), n) = k]
[ ] is the Iverson bracket = If[GCD(f(x,y,z,p), n) = k then 1 else 0]
n=1,2,3,4,5,...infinaty
k=1,2,3,4,5,...infinaty
x=1,2,3,4,5,...n
y=1,2,3,4,5,...n
z=1,2,3,4,5,...n
infinaty~illuminati
16:43
@ILikeMathematics everyone knows the first german chancellor
Joe
Joe
@Thorgott Thanks for the help. Unfortunately, I haven't been able to locate a definition of what the ring of regular functions on an affine open set is. If $X\subseteq\mathbb A^n$ is an affine algebraic set, then I know that $k[X]$ may be defined as the quotient of $k[x_1,\dots,x_n]$ by $I(X)$, i.e. as the ring of polynomial functions on $X$.
If $U$ is open in $X$, then I believe that to say that $f:U\to k$ is regular on $U$ means that for each $p\in U$, there is an open set $V\subseteq U$ and $g,h\in k[X]$ such that $p\in V$, $h(p)\neq0$, and $f(x)=g(x)/h(x)$ for all $x\in V$. So, since in this case we have $X'$ open in $X$, does $k[X']$ just denote the ring of regular functions $f:X'\to k$?
yeah, but you should convince yourself that the definitions agree in case $X'$ is an affine algebraic set
and then note that an affine open is, by definition, isomorphic to an affine algebraic set, so their rings of regular functions agree
Joe
Joe
17:01
@Thorgott: Okay. One thing I find confusing about the definition of $f:U\to k$ being regular is that it seems to depend on the choice of the set $X$. Is this actually not the case?
yeah, it does not actually depend on $X$
I mean, all you're saying is that you can write $f$ locally as a quotient, but for that you may as well take $g,h$ to be polynomial representatives
@BenSteffan I was thinking about where to post about this, and since this is from an article, and related to a "known" result, I've decided to ask it on mathoverflow
ok
probably not a bad idea
even though, I'm not quite sure if it fits there. But maybe it does
I know K. P. Hart included this result, that paracompact Hausdorff spaces are strongly collectionwise normal, in one of his articles, so certainly, it seems to me they either must know or didn't check that article in detail
it would be interesting if I were to reveal some kind of inconsistency
17:22
@copper.hat congrats on the come back win over the wallabies :-)
17:35
@Thorgott Haha
Thor, didn't you say you were at Bonn too?
nah, he's not here
he said he was considering applying here though I believe
yes to both
17:48
@think_meaning_buildß Ireland is preoccupied with elections atm, the match was hardly mentioned on RTE
 
2 hours later…
pie
pie
20:26
Who is the target audience for the book series Lecture Notes in Mathematics (from springer)? Is it suitable for undergraduates? Given its name, it seems like it might be good for self-learners. However, I've rarely seen anyone recommend its books for undergraduates-or anyone, for that matter-even though the series includes a vast number of books.
It's for research-level publications, essentially
perhaps the name is somewhat misleading
20:42
it's also maybe mistaken to interpret the applicability of a descriptor like "suitable for undergraduates" across an entire range of books, even if a publisher classifies them similarly
but what ben said is true, that series is generally for people who are already active in some research area and not undergraduates
it's also maybe mistaken to attach much meaning to the term "undergraduate." What is and isn't "suitable for undergraduates" depends critically on where you are, and Springer does not market to the US alone.
but generally i wouldn't give much significance to the prose label that a publisher uses to describe a book series. and people do occasionally base things like summer programs for new researchers around texts like that
I generally don't pay much attention to the series at all, and I personally know nobody who does
yeah pie if there's a common feature of a number of your recent questions, it is seeking to find, like, uniformity and structure across something (whether masters programs or series of textbooks) that really doesn't exist
although at a high enough level there's enough similarity from place to place that i can assume "undergraduates" (whatever that means) probably aren't actively engaged in math research
most people i know in math never paid any attention to whether books where regarded by others (let alone a book's publisher!) as 'suitable' for them before checking them out. but they also often personally concluded that books weren't suitable for them (many self studiers cling to books, whether out of a sunk costs thing because they paid for it, or because they believe they'll get the best knowledge out of whatever someone else said was the best book despite any evidence to the contrary)
it's also possible to learn things out of a book that isn't suitable for you
i got a few good ideas that way
 
1 hour later…
21:56
But, then again there's the whole phenomenon of "these books changed my entire LIFE" thing.
22:14
@leslietownes this. Read the table of contents, skim the book, see if it's gonna work.

« first day (5232 days earlier)      last day (84 days later) »