« first day (4948 days earlier)      last day (368 days later) » 
00:00 - 18:0018:00 - 00:00

18:00
and then after being able to talk about limits and so on, you define decimal places
the issue is that students think in terms of decimal expansions, this is how we teach them
I wonder why series & convergence isn't taught before derivatives in most calc classes
It feels like building up what $\mathbb{R}$ is should come first
we like to pretend that series & convergence don't exist
you know its pedagogy, you won't understand it
@Obliv Way too abstract and not worth the trouble for 99% of calculus students.
its not supposed to follow logical order but to teach kids and try not to confuse them
if I were to teach a class about real numbers, I think it would be good to point out to not think solely in terms of decimal expansions
to avoid this kind of confusion
well I'm pretty sure kids are taught equivalence of statements like 0.5 = 1/2 etc so why not go the extra mile to introduce infinite decimal expansions through geometric series
18:04
also it might not be a huge issue to just tell them that the material isn't complete in any sense
at the start of calc 1** I should clarify lol
Another perhaps silly question. We have "Axiom. of extension. Two sets are equal if and only if they have the same elements." But what do we really mean by the same elements? Would it be more correct to write "Axiom. of extension. Two sets are equal if and only if every element of the first is an element of the second and vice versa" or should I be able to convince myself that "have the same elements" actually means something? I suspect my second writing is more correct since only
belonging is primitive in set theory
@EE18 they mean that $z\in x \iff z\in y$ for all $z$
OK so my second statement is more correct, gotcha. merci :)
@TedShifrin My sister is taking calc 1 for the first time and she's turned a leaf on math (she actually enjoys it a lot now) but she had confusion with limits and approaching numbers from the left/right I don't think it would have been as confusing if she were taught infinite decimal expansions
18:06
@EE18 I don't feel very strongly about either one. Its only an informal description and its a valid one
have the same elements does mean something
@Jakobian precisely this
makes sense!
how can I generate infinite integers k where $x^9 + 12x^5 -21x + k$ is irreducible in $\mathbb{Q}[x]$
I was gonna use eisenstein but there are only finite number of divisors of $12,21$
and I don't think I can use it for a prime $p$ that does not divide one of the terms
@Obliv We were all taught decimal expansions in middle school. But they're very awkward to do anything with.
oh yeah.. I guess we were lol, my memory sucks
I wonder what schools taught students before all this formalization of modern mathematics
the private tutor era?
18:14
I was thinking before 1900s like calculus probably had so many different forms. geometry was probably standardized since the ancient greeks. algebra probably somewhere in between
@Thorgott Cool problem: Prove that for any closed oriented surface $\Sigma$ of genus $g \geq 2$, there exists a pair of closed embedded curves $C_1, C_2$ on $\Sigma$ such that $\Sigma \setminus (C_1 \cup C_2)$ is a union of disks.
@Balarka That sounds like Gauss's approach to genus.
Or was it Poincaré's? I forget.
Poincare, yep
That's about a maximal system of such curves
My claim is just 2 suffices!
oh disregard my question: $k$ can be anything in the form $3s$ where $(3)^2 \nmid k$
Just to confirm, if $f(x) \in F[x]$ for a field $F$ and the degree of $f(x)$ is $5$ but $f(x)$ has no roots in $F$ and $f$ has no quadratic factors, we can say $f$ is irreducible right?
since you cannot express the sum of $5$ with numbers greater than 2
No roots implies no linear factor. Since $5=2+3$, if the polynomial factored, it would have to have a quadratic factor, yes.
Right: $3+3=6>5$.
18:22
thanks
I feel so defeated in recitation for this algebra class lol. The TA is so smart and helpful but everyone has been complaining that the work is too hard and so now the expectations are so low
I wasn't complaining but I too had a hard time lol. It 100% wouldn't be a problem if we all dedicated more time to reviewing & studying but yeah, it is what it is
I always tried to encourage my students, but I never dropped standards. I taught one class years ago in which I gave no A's because no one earned one. The person with the highest B never spoke to me again. shrug
@TedShifrin I'm curious how you feel when students go up to you and ask if they can earn extra credit or plead for a better grade lol. After a while I'm guessing you get desensitized to it.
Yeah, that actually happened relatively rarely to me. I mean, I often had close to 10 office hours a week to work with and help students. And, in certain courses, I made it very clear that in order to pass one needed to demonstrate certain particular skills.
18:37
@Tedshifrin what was your favorite part about your job? Did you find it as fulfilling as doing research/working on higher level stuff or was it something to pay the bills lol
profs are like shepherds of knowledge but I'm sure it gets old answering the same questions a million times over, but maybe there's enough variance that it doesn't get old
@TedShifrin I always spoke to my teachers, but I think some of them found me really annoying
and they didn't actually want to talk with me
one professor in particular, his face was twitching when he saw me
in anger I think
I read that Polya used to be afraid of von Neumann as his student :^)
80
Q: Theorem that von Neumann proved in five minutes.

Salech AlhasovIn "How To Solve It", George Pólya writes: "There was a seminar for advanced students in Zürich that I was teaching and von Neumann was in the class. I came to a certain theorem, and I said it is not proved and it may be difficult. Von Neumann didn't say anything but after five minutes h...

@Obliv For the most part, I absolutely loved teaching. A few students were annoying. When I taught future elementary school teachers, they hated me because I didn't give them As for effort — they actually told me that they were taught in their school of education classes that a sign of a good teacher is that all the students get high grades. In the end, I retired (thank goodness pre-Covid) because I was no longer motivating the majority of my students to work hard and do their best.
@user85795 For the record, I taught quite a few students who were exceptional and clearly more talented than I. It was great fun. I was not defensive about it at all.
@user85795 von Neumann said stuff like "If you say why not bomb them tomorrow, I say why not today? If you say today at five o' clock, I say why not one o' clock?" in reference to the atomic bombings in WW2 so I'd be pretty uncomfortable around someone like that as well.
Yikes.
18:55
@TedShifrin Yikes back. I do think that elementary school teachers have a big influence on kids though, so they're probably just worried that they'd damage their confidence if they reflected their actual abilities.
Well, I wanted to make sure they were minimally competent. Some of them were quite good, actually, even though they hated me.
All of the students getting high grades is a bit overly optimistic imho.
@TedShifrin Yes, your hint put me on the right path, thank you so much
Cool, @Curio. Thanks for letting me know.
thats not what they meant
favouring students encourages them to do better, in theory at least
pretty sure that was their point
19:02
Spoon feeding doesn't help them in the long run
I don't know what the context was and if it has to do with spoon feeding
How do you know what they meant? They literally told me to my face that their teachers had taught them that I was a horrible teacher because they were not getting all As in my class. One young woman used profanity at me as I handed back her homework with a grade of 6/10 (approximately), yelling that she had spent a whole 40 minutes on her homework and how dare I.
Handing out all As in the the name of motivation
the point that "favouring students encourages them to do better, in theory at least" surely is there, but maybe a second-hand one
for sure some of them misunderstood the teachings
They are encouraging the so called growth mindset
19:08
Of course we want to encourage students. But that is a very complex story.
Agreed.
And I should not be treating 20-year old future teachers they way they will treat their 7- and 8-year old students.
Anyhow, enough of this.
I'm not claiming they were right, but its most likely what they were trying to advocate for
using profanity on your teacher is scandalous
that woman should have been severely reprimanded
Nah, just give her what she deserves and let it be.
😂
Laugh it off.
It was amusing. There was a particularly bright young woman in the class who had been an engineering major at Georgia Tech before transferring and changing majors. She had had a few years of calculus, etc., and we were discussing how to understand arithmetic, things like multiplication and division of fractions. At any rate, she got it immediately.
One day before class, she and I exchanged a bit of witty banter. I don't remember about what. On my end-of-semester evaluations, a handful of them wrote a paragraph complaining how inappropriate it was for me to have flirted with a student in the class. So many eye-rolls.
And I actually learned some good stuff teaching that class. Division actually has two distinct meanings. How many groups of $b$ in $a$, or ... if I want $b$ groups, how many should be in each group?
19:16
@TedShifrin That's even more funny considering that you're gay
Of course.
I don't think too many of my male students over the years ever took my witty exchanges with them as flirtation.
Even the gay ones :P
Fractions have always been and always will be the most difficult elementary arithmetic procedure for children.
Followed closely by long division
Not to mention for their teachers.
I have no idea how I even learned fractions
I think it was just intuitive at some point
I certainly was not taught it as conceptually as I tried to teach these future teachers (based on a wonderful textbook written by one of my colleagues).
19:24
I think I've learned everything well because I wasn't consciously thinking about it
Here are a few questions from one of my exams in that class.
Bobby tells Susie that $2\div\frac34$ is $2\frac12$. Is he correct? If
so, explain why. If not, explain his misconception and show him (using the {\bf
meaning} of division) how to fix his answer. Diagrams are recommended.
A pizza parlor offers ten toppings from which Tiffany may choose. How
many different pizzas with exactly {\bf three} different toppings might she
order? Explain your answer is such a way that someone who is not in this class
will understand.
Consider the multiplication problem $\dfrac34\times\dfrac25$.
(a) Make up a story problem or real-world example where this problem
might occur.
(b) Using the {\bf meaning} of multiplication (and {\bf not} a formula
for multiplying fractions), explain how you might calculate
$\dfrac34\times\dfrac25$.
Ah, the good old days.
I think I'd fail this class
With your stubbornness, probably so.
You might fail 6th grade, too.
What does \bf mean?
Oh, LaTeX. Bold face.
I cut and pasted from my LaTeX file.
19:31
Ok, thnx
my stubbornness is a feature
A feature can be overdone and become a liability.
It very often is in my case, I realize
but I can act conforming if need be
Learn from the proverbial "mule." :P
What about the boy who cried wolf? :)
19:33
a woman's slipper or light shoe without a back
Him too.
@user85795 I don't know English proverbs
"Stubborn as a mule" ... not sure there's a proverb.
Extremely obstinate, as in He's stubborn as a mule about wearing a suit and tie. This simile evokes the proverbial stubbornness of mules, whose use as draft animals was once so common that the reputation for obstinacy can hardly be as warranted as the term indicates. [ Early 1800s]
@TedShifrin I meant that it would take great effort from me to explain something in this way
not that I am "stubborn"
you know, to normal people
19:39
I think that plenty of math majors would learn a great deal from a course like this, actually. Yes, of course, we work with the rational numbers as the field of fractions of an integral domain, but conceptually that is far from what most people can handle. And appropriately so.
@TedShifrin were there any As given?
Yes, absolutely. I can look up the grade distribution.
Please 🙏🏻
I am not 100% evil.
99.999...% ;-)
19:47
Average grade 2.54/4 (so C+/B- border). 6 As, 10 Bs, 9 Cs, 2 Ds, 1 F.
Interestingly, I remember that one of my students, who got a B and was the child of two teachers, subsequently asked me for a letter of recommendation.
Coolio, thanks 👍🏻
There was one guy in the class. He earned a D.
28 students is a pretty small class
No, not in math at UGA. Our classes started with 35. Some of the precalculus and calculus classes since I left in 2015 have had a maximum of 18.
No large lectures in math.
I've seen courses for the last year of a masters degree were having 4 students was considered a success
19:55
:-/
@TedShifrin do you think there is a reason for that?
@TedShifrin That 1 F person must have felt lonely.
@Soumik The students do not know what grades are given, unless they talk to all their friends in the class.
@Jakobian For only one guy or for the D? In the US it's almost all women who teach elementary school, very few men. At the high school level, most of the men who do it do it because they want to coach sports.
20:18
For only one guy
@BalarkaSen no way
err, are the curves allowed to meet?
@Stan hello again.
20:33
@TedShifrin how's ur day going buddy?
Rainily.
i enjoy a healthy amount of rain
of course, in september, we had enough rain people were riding around the streets in boats in nyc
i didn't realize areas near the ocean got more water. i guess i've been spoiled living next to a lake
Well, a lot of northern CA and LA has literally washed down hills and away.
what????
But, don't worry — there's no climate change. It's all a Democrat hoax.
20:38
LMAO omg :')
so funny
Anyhow, have you settled your two spheres thing?
I did suggest that if you were going to write down equations, you should just look at 2D. The third variable is unhelpful and irrelephant.
It's just a matter of a couple of right triangles and Pythagoras.
more or less. I think i've worked out the math on paper, but there's some error somewhere. trying to figure it out. my radius formula for the circle has a square root in it and the numbers im getting plotting are negative inside the square root
so i've got some problem somewhere. trying to decide whether its the numbers im using or a poor derivation
That must be a sloppy error.
well, it depends. in my old model, when i set the intial leg lengths, they didn't satisfy the triangle inequality so i got undefined errors. nothing was wrong in the derivation, but i put in bad parameter values. the same could be true here
You are given $d$, $r_1$, and $r_2$, right?
20:41
or i could indeed have made a sloppy algebra error
Yes, I am given those
You need $d\le r_1+r_2$, of course.
I'm pretty confident the derivation is right though. It matches the one I found here

https://mathworld.wolfram.com/Sphere-SphereIntersection.html
Then your radius is $\sqrt{r_1^2-\left(\frac{r_1^2-r_2^2+d^2}{2d}\right)^2}$.
yes exactly. hence im suspecting the parameters im using are wrong
and are violating the triangle inequality somehow
if i understand that right
Any parameters will be fine, just so long as $d\le r_1+r_2$.
The closest the two centers can be is the sum of the radii.
20:45
let me check and see
$57.5< 92.71+24.13$

this is in centimeters where $r_1$ is the width between the hip sockets and $r_2$ is the right leg of the person
so that should be fine.
Yes, it should be fine. You have the algebra exactly as I typed it?
I'll be back in a bit.
I mean, the final equation I used was the simplifed form from the wolfram page but the same stuff. I can use the one you have instead and try it.

I could have also entered it wrong into geogebra. its very clunky
I also did verify that biomechanically its fine to use $\mathbf{u} = \mathbf n \times (0,0,1)$ for the basis vectors, so I did go with that for my first basis vector in the plane and then the cross product $\mathbf v = \mathbf n \times \mathbf u$.
then i normalized all three for the basis
21:11
@TedShifrin yup. plugged in the wrong value lol.
21:26
Are there any nice functions in which the function and its inverse each have at least $1$ extremum?
Nice meaning easy to differentiate to find the extrema by hand.
21:38
Maybe it's actually impossible in $\mathbb{R}^2$.
@TedShifrin It worked! thank you so much! the result is beautiful.
@user10478 If the function has an extremum, how would you define its inverse?
If a function's inverse has an extremum, there will be points around the extremum that make the original function a multifunction I guess.
At least in $2$ dimensions. Maybe something can work in higher dimensions.
@TedShifrin You've drunk the Kook-Aide.
@user10478 What does a function look like near a local extremum?
@StanShunpike Yippee!
21:47
@TedShifrin In 2 dimensions? Curved/convex/non-flat/more than one $x$ for a given $y$ :P
aka, inverts into a multifunction
That’ll do. No inverse function.
@robjohn I can’t see what you’re linking to.
1 hour ago, by Ted Shifrin
But, don't worry — there's no climate change. It's all a Democrat hoax.
So in $n$ dimensions, if you have an extrema, you can't solve in terms of any other variable and get an extrema, or it doesn't generalize that strongly?
Oh, that. 🤷‍♂️
What do you mean by an extremUM if you’re mapping $\Bbb R^n$ to $\Bbb R^n$?
21:52
math is like the coolest thing ever
is there an error in the statement of this theorem? in particular, should it say "...then, for every $U \in S$ such that $a \in U$...
Not to be an ass, but you’re talking high school math, @Stan.
@robjohn in Jonestown
@SillyGoose Yes.
@SillyGoose yes
21:55
ah okay bleb i was stuck on proving this for like an hour lol
but it is clear if $a \in U$
Something I find amusing is when you find people whose jobs profit from climate change. For example in Germany there is a practical explosion in places you can grow wine, and the quality of wine from old slopes has drastically improved in the last decade.

These people are acutely aware that climate change is having a real and strong impact on the world right now -- in a way most people are not. But due to luck the change is helpful for their ventures.
@TedShifrin yeah but the implications are huge. its not the math that matters. its the implication of what you can use it for. im excited for the medical insights
i can help people then
and clearly false otherwise, Silly. Just give a counterexample and move on. ;)
(re the message above)
@StanShunpike Awesome.
21:56
@TedShifrin I'm thinking of mapping to $\mathbb{R}$. So like $z = f(x, y, a, b, c, ...)$ has at least $1$ max or min. Does it follow that $b = f(x, y, z, a, c, ...)$ does not have any?
where the $f$'s are different of course
Not sure how to write f inverse for multivariable
Then there cannot ever be an inverse function. Generically, points have $(n-1)$-dimensional preimages.
@AlessandroCodenotti hm wait but these notes say that the converse of the theorem is not true. but making the additional statement $a \in U$ makes the theorem an if and only if, no?
What happens if you just mechanically solve $z = f(x, y, a, b, c, ...)$ for one of its inputs? It will always be a multifunction then?
Hm I don't get how the screenshotted theorem can be consistent with the theorem proved in this stack question
What you’re saying makes zero sense.
solve in terms of what?
@SillyGoose As corrected, why are they not identical?
22:16
oh yes as corrected they would be identical. but the notes (from my prof from which the screenshot is taken) explicitly says the converse of thm 2.0.11 is not true, which makes me think they intentionally left out the statement $a \in U$, else the converse would definitely be true (as is the case for the corrected theorem)
although i should try to construct a counter example for the uncorrected theorem itself. i also emailed them about it :P
This seems a pointless discussion. We've agreed it’s just wrong.
I think I see the problem. I'm using inverse function in higher dimensions imprecisely. I don't mean all the inputs have to be recoverable from the output (as in matrix inversion). I just mean solving something like $z = 3x - 2y + sin(a)$ for $x$ in terms of $y$, $z$, and $a$ and then looking for extrema of $x$. I'm wondering if it's the case that for any multivariable function union the set of multivariable functions obtainable by swapping the output variable for one of the input...
variables, at most one function in that set can have any extrema.
Go read about the implicit function theorem.
I can prove all of the above from the definitions but want to ask a "softer" question
Is there some useful (in your opinion) way to think about the asymmetry between the image and preimage functions in terms of how they commute with e.g. intersections
(The set-valued functions alluded to here are defined on the powersets of $X,Y$ and take subsets into subsets based on the standard definition of image and preimage)
22:41
i think you can cook up arbitrarily abstract answers to that question
it is very intriguing to think about
@EE18 Yes, preimage has global eyes whereas image has local eyes.
definitely, and totally understand if it's too open-ended but figured i'd ask :)
a perspective i like is the following: the datum of a subset of a given set $X$ is equivalent to a function $X\rightarrow\{0,1\}$. the subset $A\subseteq X$ is identified with its "characteristic function" $1_A\colon X\rightarrow\{0,1\}$ that maps points of $A$ to $1$ and other points to $0$. the inverse is given by taking the preimage of $1$ under such a function.
this is to say that subsets are just a type of inverse image, so naturally they behave well with respect to other inverse images, yet not necessarily with images (you can always "pull back" a function out of space, you can't alwa
Make my statement more precise :)
Forgive me Ted, I don't know what that means
22:45
For image you look only at your point(s) in the domain in question. For preimage, you must examine $f$ not just near one point but everywhere in the domain.
Hmm, I will mark that down in my notes, thanks Thorgott. What does datum mean in this case though?
I've never heard "datum of a subset"
I follow Ted. Roughly why would you expect "globality" to imply good behavior when commuting with these various set operations?
Also Thorgott, I see you are from Germany so I am led to ask (since this is from Analysis I by Amann Escher). Have you read Amann Escher/do you have any opinions either way?
@EE18 data
as in information
Understand why things go wrong with image, and you’ll get it.
Never would have guessed lol. I was only familiar with it from elementary mechanics where it seems to have a different meaning
thanks jakobian
will do Ted. In the image case I can't quite see it, will redo the preimage case to see what goes right and maybe that'll make it clear
@EE18 sometimes people use that word in math in general
22:57
@EE18 sorry, never heard of it
no problemo. thank you to all
@robjohn I'm not worried if Ted tells me that
@EE18 Give explicit examples where the equality fails for the image statements. What makes it fail?
Amann Escher sounds like the name of a really weird prog rock band
in a way, there's two natural statements (preimage commutes with intersection, image commutes with union) and two unnatural statements (preimage commutes with union, image commutes with intersections)
in a sense, it's surprising that precisely one of the unnatural statements is true and the other is not
23:07
it's unnatural, even
@Thorgott of course
Otherwise it's impossible by Euler characteristic computation
@leslietownes it sounds like hyperbolic geometry
No matter how many curves you take
This was my answer to e.g. iii Ted
So what goes wrong in the proof part is that I can switch "there exists" and "for all" in only one direction
@EE18 e.g. iii?
23:10
I posted the Proposition above Jakobian, so I just mean "for example iii"
it's one of the ones where it fails for image case
e.g. means you're giving an example
i suppose, more nuanced, that this asymmetry is due to Set being locally cartesian-closed
exampli gratia
gratia as in to give
ya i said e.g. just because iv would have been another option
@BalarkaSen ok that sounds possible
wait i can do it with one curve, no?
23:12
I don’t want formalism. I want a concrete (non-constant) function (even on finite sets, but with pictures) where $f(A)\cap f(B)$ is bigger than $f(A\cap B)$. Why does it happen?
@EE18 well, alright. I'm not sure if this is proper English, but I'm not going to argue on that. I just thought you're interchanging e.g. with the word example
No you're right I was, I was using e.g. as shorthand for "for example"
That is literally correct.
probably i need to read strunk and white or something lol
oh, that's good
ok ted am thinking about that I think i have a sense
ah no, you want embedded
23:14
@Thorgott It's possible to do it with a single self intersecting curve too but I don't know how to do it
Immersed curve
I'm more used to hearing e.g. when you're giving an example of a mathematical object
take the "triangulation" of the $4g$-gon into $4g$ triangles and take all the edges emanating from the center
That's not immersed
how so?
What's the immersion of S^1 to Sigma_g?
23:16
$f(\bigcup \mathcal{A}) = \bigcup f(\mathcal{A})$ is the reason why unions are great
By immersed I mean immersed with transverse self intersections
make sure to note this equality @EE18
walk from the center to a vertex, walk back from another vertex to the center, do this $2g$ times
smooth it out near a vertex if necessary
That's not a generic immersion ie not transverse self int
perhaps you have to slightly wiggle at the center
23:18
If you make it generic the complement is no longer a disk
Try it
actually no, how is it not transverse?
the inclusion in one direction is obvious. for any element of the image of an intersection, that element is the "output" of some input element common to both sets. thus, when we decide to first use $f$ and then intersect, that given input domain element is in sets and thus both images have the given output. So what goes wrong the other way is that we could have an element of the intersection of the images which we arrive at from two parts of the input sets which do not overlap
This is very 21st century but i do not have pencil and paper on me right now. is there good math software for drawing these things?
Venn diagrams?
@Thorgott The point at which it keeps meeting is a tangency. Or not, depending on your "generification" procedure. I also mean an immersion with clean double point intersections -- those are the generic immersions
Ya Venn diagrams but where I can also use arrows and stuff
i guess more or less how do textbook authors usually do it?
23:20
@EE18 an element could be represented by $x_\alpha\in A_\alpha$ i.e. $f(x_\alpha) = y$, but no common $x\in \bigcap_\alpha A_\alpha$
@BalarkaSen yeah it's not double points is the issue
@EE18 there's tikz
but thats not super easy to use
tikz is great for doing diagrams in your math writing
but its not for playing around like you do on paper
Agreed @Jakobian , that is much tidier than the word salad i gavbe
gave*
if you're on computer anyway, you can use paint or something
23:23
oh true, didn't think about that
whiteboard is an alternative
You can also use inkscape to do the drawings. It has an option to export the results so that they can be included in LaTeX and the text in them is rendered by LaTeX
I can’t get Inkscape to behave. I was super good with Illustrator, but now I’m just screwed.
i guess I have to take a day to learn Inkscape.
@TedShifrin what is inskcape?
google ->
23:28
fair lol
its not online tho from what i can tell
whereas photopea is like a cloud clone of photoshop
Freeware Adobe Illustrator knock-off … but what I’ve been used to doing for decades doesn’t work.
@Thorgott The two embedded curves can be found explicitly, but I like the following: if you pick a homeomorphism $f : \Sigma_g \to \Sigma_g$ "randomly", choose any embedded curve $C_1 \subset \Sigma_g$ and another curve $C_2$ intersecting $C_1$ homotopically nontrivially, then $f^{\circ n}(C_1)$ and $C_2$ will do the job, for $n$ large enough
@TedShifrin did they change it?
The formal reason why uses some heavy lifting but you can kind of verify that this has to work always
By experimenting around
I bought Illustrator years ago, but Mac OS changes made it inoperable. Now one must lease the damn software monthly.
23:33
I had to learn Inkscape to draw diagrams in my Masters' thesis and I got quite fond of it afterwards
lol that's crazy
@TedShifrin its insane. i tried it recently. i was under the impression it would all be online, but you still have to download it
it's easy to do explicitly, right?
yeah its not difficult but it requires some drawing
not sure if you can find a purely algebraic way to get there
Balarka, you need to tutor me.
23:34
do it inductively. in the induction step, take a small disk around an intersection point where the curves look like coordinate axes, cut out that disk and glue in a punctured torus with meridian and longitude so that the curves match up
I don't think that's easy, actually
You'd have to do the gluing operation very carefully to retain the condition that the complements are disks
(Think Sigma_2 = T^2 # T^2)
yeah, it doesnt quite work
dunno
Surface topology is actually quite difficult!
Here's the easy way. Take a pants decomposition of $\Sigma_g$. Take $C$ to be one of the seam curves. Let $C'$ be your favorite curve which algebraically intersects $C$ once. Then Dehn twist $C'$ about all the seams once.
Only on the surface, Balarka.
@EE18 a meta-exercise would be: find an example online of a software generated graph that already has the properties you want (e.g. maybe you have to add in highlighting indicating what the sets A, B whatever are but the graph itself is pre-made)
23:40
Hah, @Ted
hi leslie
good afternoon
The point is if $\Sigma_g \setminus (C_1 \cup C_2)$ is not a union of disk, it is must have a component with a non-nullhomotopic embedded curve in it
@BalarkaSen Ok, you also need $C'$ to intersect all the seams
Maybe you have to Dehn twist twice along each seam
Then each pair of pants get chopped in at least two disks
i really just needed the tea stain taken out
@leslietownes imagine making a hole in your pants. Hope its not in the crotch area
00:00 - 18:0018:00 - 00:00

« first day (4948 days earlier)      last day (368 days later) »