« first day (3880 days earlier)      last day (1436 days later) » 

00:06
yeah. for some of them you could wonder if they "believed" it, or just saw which way the wind was blowing (i mean who cares, but you could at least wonder). not that guy.
there's a scholar of languages, victor klemperer, who kept a set of diaries during that time and chronicles the experience of being an academic persecuted by other academics. makes it seem like quite a mix of ardent believers, and people who just stood there, and then, like, standard academic jerks who maybe just wanted to get his office.
EM4
EM4
was he the one made Teichmüller Theory.
they named it after him anyway. i remember reading a series of blog posts, some more interesting than others, on whether people should continue to refer to it that way.
in my field (functional analysis) there tended not to be huge spans of theory all named after one people, but a lot of theorems did have names, and i was always horrible at remembering whose name was associated with what. i also don't remember faces very well.
EM4
EM4
is it like combination of topology and complex analysis?
Functional Analysis is pretty wicked.
complex analysis is definitely a part of it. i think there are connections to algebra, probably tons of other things.
EM4
EM4
what you like about your field?
00:16
i liked it because it had analysis, but wasn't PDE, and it didn't require me to visualize things, or alternatively, it required me to find the 'right' way of visualizing something finite dimensional (usually the wrong way of looking at it for other purposes) that would generalize immediately. just enough algebra to keep it interesting, but not algebra.
i like matrices but not numerical linear algebra or, like, matrices over weird fields.
short answer, i liked it for what it wasn't.
EM4
EM4
oh okay.
my field is do mix of DEs and Complex Analysis.
i crossed out all of the other fields and functional analysis was left. then i crossed that out. i don't work in it anymore :)
EM4
EM4
DO ALL FIELDS OF MATHEMATICS :)
the category theory people sometimes seem like they're doing that
EM4
EM4
that's awesome.
 
2 hours later…
02:14
I want to show that in $\Bbb C$, if we define $\phi:\Bbb C-\{0\}\to \Bbb C$ by \phi(z)= Re(z)/z, it's impossible to extend $\phi$ to $\Bbb C$ so that the resulting map is continuous. My thought is that the limit does not exists at 0 so the conclusion follows. Am I right?
yes, but of course you have to show that the limit does not exist
Yes yes thanks
02:54
Sooo quiet ...
COOKIES!
Not those horrid ones.
03:08
I posted a question about regressions in the forums if you do feel bored..........
03:20
A question where?
0
Q: Variance of predicted value in a linear regression when $n \to \infty$.

dc3rdThe following question is from Kutner's Applied Linear Statistical Models - Ch 2 - 2.12 To answer the question a few pieces of information are needed, provided below: What I gather the question is asking me is that if I take the limit as $n \to \infty$ then what happens to the variance of...

Oh, that sort of regression .
Yup, Gerry is right. Why not Stat.SE?
because the light was on
I guess so, I figured all it had to do with was taking a limit, but I suppose there is more to the interpretation......
Too much stat baggage.
03:33
stat is its own set of notational conventions and notation. it's the kind of thing where a lot of math.SE people could unravel it after ten, twenty, x minutes of thinking, and maybe deriving theorems 2.6 and 2.7 and 2.8 without realizing it, only then to think about the problem. stat people live and breathe that stuff.
Just deleted it over here and asked it over there
some people do walk the line. i don't want to enforce a math-stat binary.
I agree leslie, it definitely isn't a question where I want people to spend time having to unravel things
my wife got an MS in stat to buff up her resume. i could do her homework but it took me half an hour of flipping through her book just to figure out which variables were being suppressed in stat notation that i would have expected to see written out.
whereas if you immerse yourself in the world long enough, you know exactly what symbols you can play with, and maybe even what some of them mean.
it's a bit like the leibniz notation for derivatives in multivariable calculus. lots of sort of hidden conventions going on there, not at the surface of the notation, that you need to be either clever or experienced or just comfortable with being wrong about some of the time, or it doesn't work. it's not intuitive.
once my wife was crunching some numbers for a problem that involved a lot of data. she got some greek letter was 0.00000463. something very suspiciously small. i asked, "does that mean your model is a really good fit? or is that actually zero and we just got a lot of roundoff errors somewhere in the computation?" she didn't know. i didn't know. one of these mythical stat people would know.
they frighten me.
it turned out, not to leave everybody hanging, that it was roundoff error. it was going to be zero no matter what the data was, because the model focused on zeroing out that thing as the measure of what the result of the model was. we all lived happily ever after.
 
4 hours later…
07:20
@dc3rd I've answered one question on CV. It used too much math, and although I tried to explain the calculus of variations in one paragraph, it only got a sympathy vote from the mod who asked me for more explanation.
@dc3rd It's interesting that that question actually bears on astrophotography (one of my hobbies). If you collect more time on an image, the random action of the atmosphere (the variance) can be reduced, giving smaller (sharper) star images. However, the physical limitation of the aperture size (Dawe's Limit) gives a minimum to the star image size.
 
1 hour later…
08:44
To show $\phi:\Bbb C\to \Bbb C$ given by $\phi(z) =z/Re(z)$ is not continuous on $\{z:Re(z) =0\}$ if I assign some value $\phi(ib) \in\Bbb C$, then $lim_{x\to 0, y=b} (x+iy)/x$ is infinity so the limit does not exists. So we can't define $\phi(ib)$ making the map continous.
Am I right in that case?
09:32
The function is not defined on $\{z : Re(z)=0\}$
"The Brauer group was generalized from fields to commutative rings by Auslander and Goldman. Grothendieck went further by defining the Brauer group of any scheme."

of course he did
(soz for Brauer spam)
I think for a valuation $v$ on a field $K$, $\widehat{K}$ should be $\kappa((\pi))$ where $\kappa = O_v/\pi$
Spam group
I kept saying formal Laurent series in $\pi$ with coefficients in $O_v^\times \cup \{0\}$, but you can just identify them upto $\pi$. That's the same thing as $O_v/\pi$
09:48
You're using $\widehat{K}$ for $K_v$ now?
I meant completion, sorry.
I don't know notation
 
1 hour later…
10:50
if $X_k$ are random variables and $\sum_{k=1}^{\infty} X_k$ exists almost surely, then why is its characteristic function the infinite product of $X_k$'s characteristic function ?
there is no assumption on mutual independence of $X_k$
so im pretty confused
11:12
@Astyx did you know there's a cool local-global principle for CSAs over a number field? And an even cooler one for cyclic algebras? lol
nvm, im pretty sure its wrong without mutual independence
@EdwardEvans What's that?
@Astyx Given a number field $K$ and a CSA $A$ over $K$, if $A_\mathfrak{p}/K_\mathfrak{p}$ splits for all primes (including infinite) then $A/K$ splits.
Is that exactly global-local CFT or am I missing something?
If $A = (L/K, \sigma, a)$ is even a cyclic algebra then splitting of $A$ is equivalent to $a \in K^\times$ being a norm from $L$, so for cyclic algebras the local-global principle for CSAs/K is equivalent to the local-global principle "if $a$ is a norm in $L_\mathfrak{p}/K_\mathfrak{p}$ for all $\mathfrak{p}$ then $a$ is a norm in $L/K$."
Which is the Hasse Norm Theorem
it's not CFT, it's just a local-global principle
altho I don't yet know why this norm condition is equivalent to splitting of the algebra
11:27
Back to doing ANT? @Edward
maybe.. lmao
You never stopped did you?
I mean, I lost all faith in myself and quit for like a month
Need someone here to carry me through Riemann surfaces in the coming semester tho :P
I'm sure plenty of people here can you help you with that sort of topics
Not me unfortunately
yeah I imagine Thorgott, Ted, Mike and Balarka know what they're talking about lol
11:43
I'm learning about those rn
kinda
I'm doing arithmetic geometry
And I think the prof mentionned them in his intro but not 100% sure
ah right
elliptic curves are Riemann surfaces or smth
tori
ye, or smth
hahah
the defining words of my mathematical education
12:19
The utility obtained when a person works for $x$ hours at job $A,$ and for $y$ hours at job $B$ is given by
$$
f(x, y)=2 \sqrt{x}+\sqrt{y}, x \geq 0, y \geq 0
$$
How many hours should the person work on each job to maximise the utility, if the person works for a total of 10 hours ?
So it should be solved by Lagrange Multiplier with constraint g(x,y) = x+y-10 right ?
Or maximize f(x,10-x)
We need to check boundry as well in that case right ?
 
3 hours later…
15:03
Given a set $S$ of size $n$ and $A \subseteq S$ of size $k$, how many subsets of $S$ contain $A$?
I think it should be $2^{n} - 2^{n-k}$ ? Please tell is it correct or not ?
@LeakyNun
@porridgemathematics yeah I mean you can just take as a special case 2 random variables and choose X_k = 0 for k >= 3
quick proof that all random variables are independent
0
Q: How many subsets of S contains A?

maths studentGiven a set $S$ of size $n$ and $A \subseteq S$ of size $k$, how many subsets of $S$ contain $A$? I think it should be $2^{n} - 2^{n-k}$ ? Please tell is it correct or not ?

@user2103480 that simplifies a lot of things, noice
15:24
@mathsstudent isn't this set in bijection with the set of subsets of $S \setminus A$? Where a subset $U$ of $S \setminus A$ corresponds to $A \cup U$? I see an $n-k$ in your guess, which suggests you're thinking about this.
for example if $S = \{1,2,3,4\}$ and $A = \{1,2\}$ the subsets $S$ containing $A$ correspond to subsets of $\{3,4\}$ via the correspondence I mentioned. I don't think your formula works there, it seems to be overcounting.
in fact it seems to be counting the sets that don't contain $A$.
Yes you are correct butis there any simpler approach without bijection @leslietownes
i'll agree to disagree with you there. it's almost always simplest to write down a bijection and prove it's a bijection, than to say "to choose a subset, you do blah blah, and this is that many choices, so it's blah blah." counting "choices" never feels as real to me because it's never clear in English whether the choices are independent of one another, and (if the problem is complicated) whether the narrative is fully exploring the universe of choices.
if you give S an ordering in which A comprises the first k elements, then subsets of S are in correspondence with bit strings of length n (the jth element of the string is 1 if the corresponding element of S is in the subset, and 0 otherwise). subsets of S containing A are in correspondence with bit strings of length n, the first k elements of which are 1. so you're being asked to count bit strings of length n, the first k elements of which are 1.
or the number of ways of constructing a bit string of length n-k. n-k independently made choices from two possibilities.
the 'in correspondence with' stuff is hiding the word bijection. i dunno.
a guy on math.SE has just made my observation above in even less detail. he didn't even give you a bijection!
what a world.
How to solve this..
Please tell the steps for this..
i realize i am in the minority on this. when i had to teach discrete math type stuff, i was always telling people to look for bijections, and they wanted to make choices, and think of every counting problem as a iterative decision process. it seems more natural to most people. i do like using recursive relations established between sizes of different sets (established via bijections) to count stuff. i just want to write down those bijections before i do it.
@user586228 it looks like they're graphing profit percent a.k.a. percent profit for you. i don't know how to back out revenue or investment or profit from that. if the data on that was given elsewhere and the graph is the output, it's obtained by applying those formulas to that data. i realize this doesn't help very much. do you have more information about what is given and what is to be solved for?
Anyone ever seen the notation $\oplus \sum$ in place of $\bigoplus$ ?
15:37
i have. i don't remember where.
but the answer to your yes or no question is yes.
Lol fair, I don't see the point of it
it's intensely ugly
@leslietownes That is the follow up question
does hspace not work here
it is atrocious notation. i think it is trying to solve the problem that $\bigoplus$ sometimes coincides with other things in simple examples, but not in more complicated ones. it's saying, yes, this really a direct sum. this is actually a coproduct in our category where we refer to it as a sum, and not any other thing that's isomorphic to it a lot of the time but not always.
15:40
$\bigoplus \hspace{-1cm} \sum$
lol
it looks like a message from the Zodiac killer.
now i can't delete it
you shouldn't want to
$\bigoplus \hspace{-5mm}\sum$
perfection
in any case, the thing I'm reading is just referring to direct sums of algebras, so I don't see the reason for this weird notation
@Astyx wowow
$\oplus \hspace{-1.5mm}\otimes$ ?
15:42
that's definitely a message from the zodiac killer
idfk
lmao
this is a new toy
Why are you all talking about senator Cruz?
that's a thinker
oh the Zodiac killer
@user586228 I would come up with symbols for revenue and investment for each company (even though not all of these are explicitly asked for in the problem), write down the relations you know from the text of problem 1, and then also look at the graph (and the definitions of profit percent) to write down more relations from the numbers on the graph. it seems like a large number of variables, but it will reduce a bit.
and you're only trying to solve for a ratio, not the investments themselves.
i thought senator cruz was somehow a coproduct
15:44
$\bigoplus \hspace{-6mm}\bigotimes$
$\prod \hspace{-5mm} \coprod$ ?
i think the zodiac symbol was just a crudely drawn $\bigoplus$.
something to think about there.
$\prod \hspace{-5mm} \coprod \hspace{-2mm} \prod \hspace{-5mm} \coprod
\hspace{-2mm} \prod \hspace{-5mm} \coprod
\hspace{-2mm} \prod \hspace{-5mm} \coprod
\hspace{-2mm} \prod \hspace{-5mm} \coprod
\hspace{-2mm} \prod \hspace{-5mm} \coprod$
hahahaha
16:13
If $R$ is commutative ring with unity and $M,N$ are $R$-modules, then how can I prove that $Tor_n^R(M,N)$ is independent of a choice of resolution $F_\bullet$ of M? My definition of $Tor_n^R$ is first from the free resolution of $M$, and tensor with $N$. Then $n$th homology of that sequence if $Tor_n^R(M,N)$
Need to show it directly using chain homotopy (Not using free then projective. In fact I didn't learn projective module)
In fact I also didn't learn chain homotopy but professor said us to search by ourselves
EM4
EM4
@love_sodam is this ring theory?
Yes commutative algebra class
but more like module theory? and homological algebra? I don't know if it's also called righ theory
I first thought if (F_\bullet, f_\bullet) and (G_\bullet,g_\bullet) are free resolutions of $M$, then it induces complexes $(F_\bullet\otimes N,f_\bullet\otimes 1_N)$ and $(G_\bullet\otimes N,g_\bullet\otimes 1_N)$. Then construct two chain maps $h_n:F_n\otimes N\to G_n\otimes N$ and $h'_n:G_n\otimes N\to F_n\otimes N$ and show $hh'\simeq 1$ and $h'h\simeq 1$ so $h$ is an quazi-isomorphism
I don't know if this is true
16:40
this is something you can just construct inductively
this is pinpointing the exact moment in time where i stopped being capable of learning algebra
it's a bit technical, but not coneptually difficult
the point is that taking free resolution is functorial up to chain homotopy
i learned enough to survive the class. i faked some of this on my qualifying exam. the simplicity of it was what made it so annoying.
EM4
EM4
I never took commutative algebra or module theory or homological algebra yet :(
don't say "yet." that implies that you might take them. be proud about what you don't know. i certainly am.
what's a spectral sequence? i don't know, some guy tried to tell me once, and i told him to buzz off. he said, make me. i said, i'm certainly about to. then he punched me in the chest and face and took my cell phone and wallet. in retrospect, he may not have been trying to tell me what spectral sequences were. i may have misheard.
16:51
EM4
EM4
HAAHH true good point.
@astyx i very much like that image. i am going to meme-ify it across my socials in ways that nobody will understand because i do not have math friends in real life anymore.
when i was in grad school i had a little latex alias that renamed \qedbox into a crude pixellated drawing of an extended middle finger. i can resurrect it off of an old laptop if there is interest.
@leslietownes How do you relate the profits?
it says qstar earned 5200 more than panasonic. and the graph says something about profit percentages.
I mean profit of Q star and panasonic
ok..fine
16:58
specifically they say earned more profit. i agree it's ambiguous if they just said earned more. that would sound more like revenue.
but it wouldn't be clear.
in real life, if the companies are publicly traded, profits and investment are independently reported and there's none of this smoke and mirrors about solving for x. and if the companies aren't publicly traded, sometimes they announce something resembling profits (usually with a weird definition to make it sound better), and they don't announce investment unless they're thinking about scaring competitors.
that's not part of the question. i'm just throwing that in there.
publicly traded on a US exchange, i should say. some markets have minimal reporting requirements.
@Astyx cute
@Thorgott what is that mean? sorry I'm not familiar with those words. Does that mean a chain map between those two complexes is unique up to chain homotpy?
depending on the map in least degree, yes
precisely, if you have a hom $M\rightarrow M^{\prime}$ and free resolutions $F_{\bullet}$ of $M$ and $F_{\bullet}^{\prime}$ of $M^{\prime}$, then there is a chain map between these two complexes that is the given map in least degree and this chain map is unique up to chain homotopy
the proof is an inductive construction repeatedly using freeness
@Thorgott what is 'least degree'?
the one where $M$ and $M^{\prime}$ live, respectively
I mean, a free resolution looks like $\dots\rightarrow F_1\rightarrow F_0\rightarrow M$, where all the $F_i$ are free. So a chain map between the two resolutions contains a homomorphism $M\rightarrow M^{\prime}$ at the rightmost part (in lowest degree). What I'm saying is that homomorphism on the right inductively determines the rest of the chain map up to chain homotopy.
17:14
In my case $M' = M$ so identity right?
So I first need to show two given chain maps from $F_\bullet$ to $F'_\bullet$ is homotopic and next tensoring $M$
If I have a matrix of the form $X = \begin{bmatrix}D&A\\0&-D\end{bmatrix}$ where $D$ is diagonal and $A$ is symmetric, is there an easy way to find $\exp(X)$? Unfortunately, it's got the -D in there instead of D so it's not as easy as the usual upper-triangular cases.
i used to have a sixth sense for rearranging block matrices. it is gone now.
@leslietownes are you having a midlife crisis? :P
I guess I could take a basis of such matrices and find the exponential of them one at a time and then use them as generators.
Might be more effective.
17:32
@Thorgott Once I show two chain maps from $F_\bullet$ to $F'_\bullet$ is chain homotopic, then also two chain maps from $F_\bullet\otimes N$ to $F'_\bullet\otimes N$ is chain homotopic. What happens next? By the way, is my basic plan I wrote before right?
I'm convinced this must be false but does anyone see an easy counterexample? Let $X$ be a topological space and $x\in X$. Suppose that there is a nbhd basis $U_i$ around $x$ such that $X\setminus U_i$ has exactly $n$ connected components for all $i$. Must $X\setminus x$ have exactly $n$ connected components?
Hello everyone! here is a link to a new discord server dedicated to the discussion in combinatorial topics discord.gg/aDpQdu7VBA People from any background with an interest in combinatorics are welcome! The server is full of resource material in different combinatorial topics!
@anakhro Not so clear because of non-commutativity. I don’t see why the negative makes any difference. I don't know a nice answer for general $A$.
@TedShifrin if it was not a negative D, but instead D again, then you'd have the commutativity of the block diagonal D matrix and the 0 matrix with A in the corner.
So then it's easy.
I don't get it.
17:41
$\exp(X) = \exp(diag(D,D))\exp\left(\begin{bmatrix}0&A\\0&0\end{bmatrix}\right)$ in that case, and the second exponential is of a nilpotent matrix.
when i was a child i behaved as a polynomial. maybe even as a nilpotent matrix
If the entries of $D$ are different, I don't believe that.
Why would the entries of D be different, I am using the same letter for it.
Come on, man.
duuuude
17:45
Is $D$ a general diagonal matrix or a scalar multiple of the identity?
Oh I did not specify that!
issues a formal, notarized apology to Ted for "duuuude"ing him.
If it's a general diagonal, which I assumed, I don't believe what you said.
Yes, I see what you mean.
(you are right)
And in that caee the negative seems irrelephant.
starts mailing a second plaque.
17:54
0
Q: independence of resolution of $\text{Tor}_n^R$

love_sodamLet $R$ be a commutative ring with unity and $M,N$ be an $R$-module. Let $(F_{\bullet},f_\bullet)$ be a free resolution of $M$. Then there is an induced complex $(F_\bullet\otimes_R N,f_\bullet\otimes 1_N)$. Define $\text{Tor}_n^R(M,N)$ be an $n$th homology of $(F_\bullet\otimes_R N,f_\bullet\ot...

I just organized my question
@anakhro yes i am having a mid life crisis. i turned 40. everything is frightening now. at 39 i was breakdancing in the streets, or whatever people do that might be suggestive of heedless abandon. now i'm only thinking about my mortgage, the adequacy of my life insurance, and something that looks like mold on the roof of my garage.
Also whether your daughter actually got permission for that cookie you let her have earlier.
(shh, it's our secret that you gave it to her before checking with her mom)
i was following what i regard as the 0th axiom, which is, as we all know, if you need a cookie, EAT a cookie.
Playfair's other axiom.
axiom 1 is, like, i dunno, you've got a set with a two-sided identity element, or something. you pick.
my daughter's very interested in optics. at this time of year the sun hits a light fixture on our staircase that causes rainbow patterns to be displayed on the walls. when i woke up this morning, she was on the landing, and said "hi dad, i'm looking at rainbows." and she was. maybe a physicist someday.
although i think optical methods have gone about as far as they can go. we'll have to get her into other forms of detection.
18:06
Get her a muon detector.
it's a shame we don't live in iowa anymore. a geiger counter next to our HVAC filter would have been instructive about what radon is.
There are probably still radioactive mineral deposits around.
Maybe check the government archives for list of prospecting claims in the area and you can take a Geiger counter to a field and show her that rocks make it go beep beep beep
LA county is not as bad as santa barbara. i don't think any of it is comparable to iowa.
i had to sign stuff related to radon just to rent a house in iowa. and there was asbestos all over the place in the roofing (undisturbed, which is mostly fine, but i had to acknowledge it). our house here is probably OK.
i do love rocks that go beep beep beep.
You can also use the fire alarms in the house if you can't find uranium deposits.
that was one of my coolest experiences in high school, actually. my chemistry teacher taking something the size of a golf ball out of a container, and putting it next to a geiger counter, and have it go crazy. if i ever die, i've told my estate to sue him for causing it.
we do have some americium in our house on account of that.
en.wikipedia.org/wiki/David_Hahn is a fun read, on that issue.
well not fun, i don't mean to trivialize his death. but he 'mined' americium from smoke detectors.
18:18
>Unknown to officials, his mother, fearful that she would lose her house if the full extent of the radiation were known, had already collected the majority of the radioactive material and thrown it away in the conventional garbage.
i like the expression "conventional garbage." it implies the existence of nonconventional garbage. who's picking that up? i only have two receptables, [conventional] garbage and recycling.
We have compost as well.
Maybe that's unconventional.
we have compost too but there's no city structure for picking it up. it's on us.
That sucks.
i kind of liked it as a kid. we didn't have a compost infrastructure, we'd just bury organic waste in a part of our yard. and the next year - roma tomatoes! without even paying for a seed packet.
18:31
@TedShifrin @leslietownes disclaimer: the spectral sequence is not mine
that's a shame. i wanted to have a discussion about ghosts.
my mother claims, non ironically, to have seen ghosts. not in the context of spectral sequences. has anybody here seen a ghost? my daughter has. she says that the ghost says to give her a cookie. i think i understand the psychology there.
Yours can be astral, @astyx
 
2 hours later…
20:32
Is there a common way to denote the Poincaré group?
$\text{Poincaré}(M)$
$\text{ISO}(d,1)$
 
1 hour later…
21:49
The latter is what the nLab uses.
22:41
quick question, any suggestion about what free software could I use to calculate a functional derivative?
Today is the day!!! @TedShifrin

$\mathbf{x} = (\mathbf{a} \times \mathbf{c}) + t\mathbf{a}$, where $t$ is what we discussed before $t = \frac{b}{||\mathbf{a}||^{2}}$

For this expression for $\mathbf{x}$ to work it has to be the case that $||\mathbf{a} \times \mathbf{c}|| = \frac{||\mathbf{c}||}{||\mathbf{a}||}$

💆🏾‍♂️🙌🏾🙌🏾
22:57
I see why I was struggling with coming up with the concept after you pretty much shoved me over the line. I was expecting the area of the parallelogram to be used in a more explicit way. Not stating that we are restricting the side to be $||\mathbf{c}||$. I was anticipating having to set something equal to that area the same way the dot product was used and end up solving for $\mathbf{x}$. Which I'm sure I'll be getting to eventually in your book, just not at this point.
i ended up looking up the exercise and doing it in my head as i tried to go to bed last night. it's a very good problem.
that's also what my home office needs. a dry erase board.
@leslietownes What do you think, how old is an average MSE/MO user?
the one I was doing @leslietownes?
average in terms of age/number of users? i see so many 1 and 10 point reputation people that the average is close to 20.
@dc3rd yes.
i think about 20 people who are about my age or older or much older basically handle the back end. and then goofballs like me wander around the site. but the front end is extremely young people who need their homework done yesterday.
It is a good problem.....multiple times the algebraic solution with a formula was tossed out to me, but I purposely ignored it because it wasn't telling me anything. I'm glad I did that geometry review and also glad I have been forcing myself to look at it geometrically
23:04
mathoverflow was started when i was in grad school, or shortly afterward, by a bunch of people i knew in grad school. if there was a math.SE then i was unaware of it. so i think because of that, everyone with ten zillion reputation is older than me, or needs a social life.
@dc3rd i will only say this because i think that ted might not be around. it is helpful to look at things geometrically. you can wade through formulas all day but unless you think about what they 'mean' (= thinking geometrically) it's just symbol pushing.
if anyone asks you later, someone put a gun to my head and told me to type that.
if you really wanna do symbol pushing, functional analysis is a start. although the topologies suck, so you have to be very careful in terms of the symbols that you decide to push.
which might loop back to gmry
I haven't seen you mention geometry in our discussion @leslietownes...........🤐
i think i was about four years into my thesis when i realized the pictures i was drawing for "the two dimensional case" weren't even two-dimensional pictures because the dimension was measured in C instead of R. it didn't stop me from understanding things.
but again, some guy has a machine gun pointed at my forehead and is requiring me to say that.
the guy might even be ted, for all i know. he could have acquired weapons and driven up here.
@leslietownes When is someone a graduate? After Bachelor or a master or ...?
I've been too obsessed with symbol pushing over my young math journey and it is what got me in this fix in the first place....I alwyas did ask "why this means what it means?", but I never went and ventured for the answer and just plugged along
@vitamind in the USA i think people would normally say 'graduate student' after a bachelors degree. in math in the USA, many departments do not give terminal masters degrees so you can assume phd student. in europe i understand it is very different and maybe the language needs to be more precise.
23:08
he's here now smiling behind the screen.......you could just say he hacked your account
@dc3rd there's an issue with magnitudes. Is $\|a\times(a\times c)\| = \|c\|$? (Plus right direction?)
crap dang it he's here. hide everything.
I never suggested that $x_0=a\times c$.
Oh swear louder, leslie.
ted i've looked at your differential geometry book. it's really good and i wish i had learned out of it. we learned out of something - it was out of print, wu liked it, got the rights to a limited republication, i bought it at a copy shop - that did the same thing worse in about twice as many pages.
Super classical?
Struik?
23:15
I'm not even sure how to work that magnitude out.....did you mean $||\mathbf{a}|| ||\mathbf{a} \times \mathbf{c}|| = ||\mathbf{c}||$?
the book spent a huge amount of time on curves, which i liked. but it did surfaces up to the invariance of the gaussian curvature, and then it had a bunch of crap sections on "here's what riemannian geometry might look like," "here's a manifold," it was all nonsense to me. i could have used more exercises.
Well, what I and what you did are the same. Why?
all i remember about the book is that it had two authors. which is weird because i normally remember everything. which is a sign of how suboptimal the book was.
Did it use lots of indices?
Hmm, Milman and Parker is two authors.
I taught out of it once or twice. A poor replication of Chern's style, but decent exercises, actually.
it's driving me crazy for two reasons. one, defect in memory, two, the postal service lost about half of my books when i moved across the country, and that book was one of them. so i can't go down to the space above my garage and just find out what it was. it might well have been milman and parker.
23:19
ah.......well what you expressed would have to be a vector orthogonal to both $\mathbf{a}$ and $\mathbf{a} \times \mathbf{c}$...
I love Mathematics SE that I made this:
wu would assign his own exercises instead of the ones in the book. the ones in the book tended to come from do carmo
Oh, M&P was way before DoCarmo.
Hope you like it! :)
this is what is so mind boggling about it. i also lost a book that paul chernoff gave me, and now he's dead. buying a new edition wouldn't be the same.
23:21
That's what we want with our $x_0$, but the area has to be right.
if congress wanted to abolish the USPS i would be ok with it, as long as there was a provision to fully compensate me for the loss of my books in 2012.
which means i guess that i wouldn't be ok with it.
And that’s before DeJoy is sabotaging it completely.
If it was out of print, more likely DoCarmo stole from it.
I'm not sure what Wu would have liked.
interesting. i'm also annoyed because there was a guy in my class who was sick for half the semester, and i gave him my notes, and he never gave them back. i have a very incomplete record of math 140, is what i'm saying.
i was there, though. wu's wife proctored the final and brought lemon cupcakes.
bringing food near the end of the semester appears to be a tradition in a lot of departments. it is not the norm at UCs or CSUs. it is appreciated when people try to import it.
I didn't usually do that. For many years I did a huge party in the spring to which I invited students, friends, and some colleagues. I usually cooked two weeks for it.
But By 1998 or so, I was worn out and quit.
i baked lemon cupcakes for alan dershowitz once, but that's another story. his wife liked them.
23:28
That sleaze ball?
we didn't know. it was a different time.
i had a professor in law school who prepared a paella about the size of a bathtub for an end-of-year party. i told his wife, "i wouldn't invite people over for something like this, it would be repugnant to me to have this many people in my house." the way she laughed, i could tell she didn't want me to be there.
You were strange even then ...
i say the quiet part out loud. it hasn't been that much of a leg up, if i'm being honest with you
i was told that if i just got a phd in math i could find a secure career designing weapons or surveillance systems for an overpaid contractor in the DC area. these promises did not materialize. the rest of my life has been a very internalized, misdirected, sublimated form of vengeance.
Who promised?
the universe. and several advertisements in notices AMS. "join us! your cup will overflow!" i think they used that language. they might not have. in retrospect it would be weird to advertise a job like that.
people slime the law but i've never done anything immoral. the closest i got was withdrawing our representation from a case where the client had probably done something immoral. and yet you see these category theory people just commuting diagrams left and right for anybody who asks them to. who's the real villain?
i just learned that my stepsister got married over zoom. i'm torn between congratulating her and interrogating her as to who this guy is. (i know who the guy is, but why is he on zoom?)
23:40
ok. What you expressed was the vector normal to $a$ and $a \times c$, which would be the vector $c$, because $a$ is orthogonal to $a\times c$ as I have stated it.

The way I stated it is under the assumption that $||a \times c|| = ||c||/||a||$, to get the same expression with only $||c||$ I have to somehow make sure my $\mathbf{x}$ has a norm of $||a||$. Is that what you meant?
What you just wrote for an assumption is total garbage, no?
[zoom hand up signal] yes.
I guess it is if I'm being asked...lol
@dc3rd i went through this last night while going to bed. what would $a \times c$ be in magnitude without any restriction on where $a$ and $c$ came from. take that and build from that.
or look at it in some even smarter way, i don't know.
this is the sign of a really good exercise. let me just say that. this is like a two weeks in the gym level of exercise.
i'm hypothesizing because i've never spent an hour in a gym
magnitude of $a \times c$ is the area of the parallelogram, spanned by the vectors $a$ and $c$.........

« first day (3880 days earlier)      last day (1436 days later) »