« first day (3059 days earlier)      last day (1965 days later) » 

1:09 AM
@Adam Were you asking people to buy you textbooks?
 
2:01 AM
Guys
what would be an example
where the intersection of two open balls
does not give an open ball
?
 
@mathsresearcher Can you visualise two open balls, where neither are contained entirely within the other (which have nontrivial intersection)
Without any serious thought, my visualisation suggests this is never again an open ball, but not gonna bother writing anything down
on phone atm
 
yeah, that is the case for two spheres in $\mathbb{R}^2$
i mean discs
 
I guess you could compute the n-volume of the intersection, and see if it is an n-disc
 
I was thinking of two discs because
two balls in R^2 with the standard metric
are shaped as discs
however their intersection isnt necessarily a disc
 
So you're happy?
 
2:12 AM
yup, but i'm not sure how to write that down formally
so not completely
 
2:30 AM
@user616128 Isn't the intersection of $(0, 2)$ and $(1, 3)$ again an open ball in $\mathbb{R}$?
 
It is
But if you're looking for an example where the nonempty intersection of two open balls is not an open ball, taking the open disks of radius $1$ centered at $(0, 1)$ and $(0, 0)$ should work in $\mathbb{R}^2$.
 
@user616128 in reputation points they are a finite amount of virtual objects therefore they must be as valuable as BTC
 
Reputation has no cap though.
The differentiating factor of bitcoin is that there is a finite supply. Reputation in inherently inflationary.
 
@GodotMisogi ah ok sorry for that like I said it was a poor attempt at help from someone ill equipped for the question
 
Or is rep bounded by sizeof(unsigned long long)?
 
2:36 AM
well there is a cap in that any given user has a finite life span so there is always an unattainable quantity right?
 
@Dair I was visualising R^3 for what its worth
 
sure it isn't defined so cant be used in the same way I was kind of joking therefore not prepared to make an argument to defend my statement
 
@Adam Except noone really values reputation points
2
 
lol there it is
 
@Adam I'll keep getting rep after I die
(assuming SE is still around)
Accounts don't go inactive upon the user's death
:P
 
2:39 AM
yeah that's because there is no one else that will rep us
 
Wait did I manage to ping the wrong adam?
Sorry
 
ah green reward and red punish system my entire reality would crumble without you
 
lol it's the ultrafinist guy, but i don't think his name was adam..
 
ok yes users accounts don't go inactive upon death but the views of their posts generally do
oh here we go
 
Red is also for comments too lmao. They're not all negative.
 
2:42 AM
look I don't know how you know what ive been reading you crafty little bugger but oh wait I think I cyber begged for someone to buy it for me on here prior to finding the link. never mind carry on good sir
 
What?
I was referring to the guy with the Doron Zeilberger profile pic.
 
@Adam What do you want us to buy?
 
 
2 hours later…
4:20 AM
I just signed up for the GRE. Now to study for it, haha
 
@apnorton gosh i hated that
 
I will admit though that, because I'm aiming for grad school in CS, I think I will have a lot easier time than you all who had to take the subject test in math.
I've heard the math GRE is hard, while the general GRE is basically just an SAT over again...
 
@apnorton yeah the general GRE wasn't bad.
 
That's good to know :)
 
 
4 hours later…
8:04 AM
This might be a stupid question but I just want to make sure. If I want a random integer in the range [min, max] and have (random % (max - min + 1)) + min, which is a usual way to get around modulo bias, is there any property of random I must be aware of other than ensuring that random > (max - min)?
 
@forest I would say you want random >> (max - min)
e.g. random > 10*(max-min)
 
@LeakyNun Would not doing that result in the output being biased? I don't want any bias, not just less bias than it would be otherwise.
 
actually you should just scale up random enough so that it is so much bigger than max - min
@forest no, if random < 1.3*(max-min) then you would get head-bias
 
How much would be needed to ensure there is no bias whatsoever?
(Assuming random itself is unbiased).
 
what is the type of random?
I mean, the usual way is to just do floor(random*(max-min+1)+min) if 0<=random<1
 
8:14 AM
It's a random integer created from a random array of [0, 255]. It's not a type because this is just pseudocode and not an actual programming language.
 
oh
then divide by 256 to make a float in [0,1) :)
there's no way to get around the fact that you only have 256 possible values
 
I mean array[0] * 256^1 + array[1] * 256^2 + ... + array[n-1] * 256^n
 
oh
oh right, randomness^n
so you have 2**(8*n) possible values
but you see, there's no way to get around the fact that 2 is the only factor
if you wanted to generated a random number from {0,1,2,3,4} then one of the numbers must have a bias
 
I thought (random % (min - max + 1)) + min gets around modulo bias?
 
there are 2**(8*n) possible values
you can't allocate that evenly to 5 values
but!
you can let m = floor(2**(8*n)/5) and keep generating the random value until it gets smaller than 5*m
that should resolve your problem
 
8:20 AM
That sounds like it would be difficult if I want a range [big, big + 5], and the number is large enough that I would almost never happen to land on a number in that range no matter how many times I generate random.
 
that isn't what I mean
if n=1 then you get 256 possible values
keep generating it until 0<=random<255
and then you can do (random%5) + big to get an unbiased random value in [big, big+5)
 
So if n=2, then random = array[0] * 256 + array[1] * 256^2 (which would put it between 0 and 2^16-1), and then use (random % 5) + big?
(I noticed I did the array multiplication wrong, but ignore that lol)
 
you need to restrict the range such that the number of possible values is divisible by 5
 
What is the purpose of while r >= 255: r = random.randrange(256) if random.randrange(256) returns between 0 and 255?
 
to exclude 255
 
8:41 AM
My brain must be completely broken right now because that is making no sense to me (doesn't help that I only know C and Bash). So I keep generating random until 0<=random<2**(8*n)?
 
no, you generate it until it is smaller than floor(2**(8*n)/5)*5
 
Here n is the number of [0, 255] integers in the random array, yes?
 
sure
 
But then if n is 1, it would always be smaller.
Even if I wanted an integer between, say, 5 and 10000.
Yeah right now I'm completely failing to think of this abstractly. I think I should just look at how some C library does it or something. Sorry for being so hard to teach!
 
@LeakyNun hi
 
8:53 AM
hi
 
any chance you can help me find $(x-1)\cap k[x^2-1]$ ?
(i think i know what it has to be, just can't prove it.. )
 
well what do you mean by find?
afaik you're mixing two things from different categories
 
@LeakyNun Both of those are naturally subsets of $k[x]$. One is a subring, the other is an ideal.
 
sure
but still
 
@TobiasKildetoft what he said
$k[x^2-1] \subset k[x]$
and $(x-1)$ is an ideal
 
9:07 AM
I mean, it isn't an ideal because $1$ is in it, and it isn't a subring because $x^2-1$ is in it but not $x^2$
so I don't know what answer you expect
 
why 1 needs to be in an ideal?
it will be the whole ring if so
 
wait nothing
 
$k[x^2-1]$ is just the polynomials in $x^2-1$
i have a candidate for the intersection i just can prove only one inclusion ^^
 
It is not an ideal because $x^2-1$ is in it but $x^3-x$ isn't in it
 
@Liad As @LeakyNun mentioned, it is the same as the polynomials in $x^2$, which are generally easier to come to grips with
 
9:10 AM
ah!
I know what category it is in
 
$(x-1)$ is an ideal by def. O_o
 
it is the contraction of the ideal $(X-1)$ along the inclusion $k[X^2-1] \to k[X]$
 
$k[x^2-1]$ is a subring
 
it is an ideal of $k[X^2-1]$
I am an idiot
 
you are far from it, i just dont see what problem you see O_o
 
9:11 AM
I just haven't seen this notation in ages
 
Ah ok
 
but I've also been told that people don't say contraction anymore
 
@TobiasKildetoft you say that $k[x^2-1]=k[x^2]$ ?
 
yes
 
@Liad Yes
 
9:12 AM
am i right that the intersection is $(x^2-1)$ ?
 
ok so $k[X^2-1] \cong k[X]$, so it is a PID
 
im doing this exercise
i think $(x-1)\cap k[x^2-1] = (x^2-1)$ and from here i think i can show $1/(x+1)$ can't be integral
 
let $p \in (X-1) \cap k[X^2]$. so $p(1) = 0$. Since $p$ only has even powers, we also have $p(-1) = 0$, so $p \in (X+1)$, so $p \in (X^2-1)$
that's the other inclusion you seek
 
where did you show that $k[x^2-1]=k[x^2]$ ?
 
implicitly
 
9:22 AM
ok same argument works with $k[x^2-1]$ i think
 
@TobiasKildetoft sure I can compute extension by unique factorization... how the heaven do I compute contraction?
 
$(x-1)\cap k[x^2-1]$ must be maximal @LeakyNun
 
sure
 
@LeakyNun In general? No idea
Possibly one could use Grobner bases to make everything "canonical"
 
oh right, it is maximal and it contains $(X^2-1)$
by nullstellensatz it would be exactly $(X^2-1)$
I'm an idiot
 
9:30 AM
how do you see that by nullste.. it would be exactly $(x^2-1)$ ?
 
nullste.. says that all maximal ideals of $k[X]$ are $(X-a)$ for some $a \in k$ as long as $k$ is alg. closed
 
ok thanks!
i got something else i am stuck on, i need to extend the bounded functional $\phi(x_1,x_2,x_3) = x_1-x_2$ while preserving norm. $\phi$ defined on $Y = \{ x_1 = 2x_2\}$, and i found that its norm is $1/\sqrt{5}$.
we are working in $\Bbb C^3$ with the euclidean norm
 
 
1 hour later…
11:04 AM
Hey folks
Does there exist a notion of the integral of a distribution, assuming such a thing is well-defined
I mean obviously there is since you can do the distribution as a sequence of functions
But what is the standard term for it
ie for instance $\int \delta(x) dx= 1$
 
It's not well-defined: How do you make sense of $\int 1$?
A better starting point is to realize what the integral of a compactly supported smooth function is in the land of distributions. $f \mapsto \int f$ is a continuous functional on $C^\infty_c(U)$, so it is some distribution.
Now recall how a locally $L^1$ function $f$ gives rise to a distribution: as the functional $g \mapsto \int fg$. So the $g \mapsto \int g$ is, as a distribution, the function $1$!
You could set up what you're trying to do by picking a sequence of compactly supported smooth functions $f_n$ so that $f_n \to 1$ uniformly in $C^\infty$, and for a distribution $\delta$ you could try to define $\int \delta = \lim \int f_n$. But as above there's no reason to believe this converges.
 
@user616128 well the book on algorithmic determination of closed forms for hypergeometric terms and their sums and products @Dair yes that is correct I am aware of the philosophical views of that contributor to the publication, but the algorithms he contributed are in themselves incredibly insightful. So, if I gave you a set of principles each represented by a particular statement ${\{S_1,S_2,S_3,...S_k}\}$
 
I don't know any reasonable pairings of the space of distributions against any other space except the space of test functions $C^\infty_c(U)$ itself.
 
and I tell you that that one of those statements is "Doron is an ultrafinitist", you would immediately reject the whole set as being of no value to contemplate? of course not
@user616128 before I was provide with the necessary link to obtain it free of charge, yes I probably went for a cyber beg when I thought I had to pay for what it is sold at google
 
@MikeMiller Which distributions are representable by measures?
 
11:17 AM
they should be positive, and they should extend to continuous functionals on $C^0_c(U)
that's also sufficient. I doubt you have a better answer
 
Mmk
 
@BalarkaSen Interestingly while the dual space to $L^p$ for $1 \leq p \leq 2$ is $L^{p/(p-1)}$, the dual space to $L^p$ for $p > 2$ iirc includes non-measures.
 
the dual being the space of bounded functionals?
I thought dual of $L^p$ is always $L^q$ where $1/p + 1/q = 1$. Isn't that Radon-Nikodym?
 
Holder tells you that $L^p$ includes into $(L^q)^*$, but it is a theorem that when $p \leq 2$ that gives you all of the bounded functionals
For instance iirc $(L^\infty)^*$ is not separable.
 
so i got that function sequence $f_n(x) = \sqrt[n]{1 + x^2}$ for $0 \leq x \leq 2$, so is it really so simple? its rather clear that its pointwise convergent $f_n \to 1$ and uniformly convergent cause $|\sqrt[n]{1 + x^2} - 1| \leq \sqrt[n]{1 + 2^2} - 1 = \sqrt[n]{5} - 1 \to 0$
 
11:31 AM
@BalarkaSen No, I'm sorry, you're quite right.
I was thinking specifically of $(L^\infty)^*$.
 
Ah, ok.
 
In the less subtle case of $\ell^\infty(\Bbb N)$ the dual-space has something to do with ultrafilters..
 
ugh
 
or in case $f_n(x) = \frac{\sin (nx)}{n}$ and $x \in \mathbb{R}$ it's just $f_n \to 0$ and $\frac{\sin (nx)}{n} \leq \frac{1}{n} \to 0$, is it that easy?
 
11:48 AM
Ultrafilters are not such terrible objects!
 
12:09 PM
@AlessandroCodenotti right!
they're just prime ideals :P
 
Their dual
 
sure
 
@MikeMiller Yes but there is obviously some subset of distributions for which the integral is well defined
and it is larger than the subset of integrable functions in distributions
 
Can you say anything non-trivial about that subset? I can't.
 
Well in my case I'm trying to think of a decent way to define the Hamiltonian in QFT
And it's like
 
12:17 PM
I guess if you demand that there is a compact set $K$ so that $\delta f$ vanishes for functions supported off $K$ then you're clearly fine.
 
$$\hat{H} = \int d^3x \hat{\mathcal{H}}(x, t)$$
 
So 'compact support' is sufficient.
 
This is made slightly worse because they're operator-valued distributions, but anyway
It's usually treated as a function but it is very much not
and no proper rigorous QFT book really talks about the hamiltonian, because it is also hard to define due to other reasons
at least not as an operator
 
Ok. Well, is $\hat H$ compactly supported in the above sense?
If not...
You may be condemned to the physics level of rigor.
3
 
a fate worse than death
I don't really think it is, no
I mean it's a big expression that depends on other fields
But as far as I know they are not of compact support
Though I guess one could probably try to show that the integral is convergent still
 
12:26 PM
@MikeMiller well your measure needs to be locally compact
 
Yeah
 
and I do hope that your space is Hausdorff and locally compact
 
I don't know what that's responding to but it should be completely clear everything here lives on a domain in R^n.
 
oh
is that what "distribution" implies?
 
On the other hand they're not real functions but operators on a Hilbert space
 
12:27 PM
or is it the hamiltonion bit?
 
So not quite so easy
(the other terrible part is that the Hamiltonian involves products of distributions so that's a whole other hornet nest)
 
if A and B are R-algebras then what structure is on Hom[R-Alg](A,B)?
I remember if A is a cogroup then Hom[R-Alg](A,B) is a group
so it should be just a set
 
A distribution is an element of the continuous dual of $C^\infty_c(U)$ for some domain $U$.
 
Hello, I have a question about uniform convergence. Is it true, that if $|f_n(x)-f(x)| \to 0$ uniformly then $f_n \to f$ uniformly?
 
Arrow is \to
 
12:31 PM
oh and I recall if Hom[R-Alg](A,B) is naturally a group for all B then A is a cogroup
 
or \rightarrow
if you wish for arrows
 
@philmcole what's the definition of "$f_n \to f$ uniformly"?
 
@LeakyNun you don't need to recall it, that is immediate from Yoneda's lemma
 
@LeakyNun We use the epsilon-delta definition, for all $\epsilon \gt 0$ there exists an $N \in \Bbb N$ such that for all $n \ge N$ and $x \in X$ we have $|f_n(x)-f(x)| \lt \varepsilon$
 
so @BalarkaSen is a category theorist now
@philmcole and what is the definition of "$|f_n(x) - f(x)| \to 0$ uniformly"
 
12:34 PM
You don't need to be a category theorist to see what is in front of one's eyes.
 
I thought you claim you were but if you need to recall Yoneda's lemma you need to reconsider your life
 
rip me
 
Up to you whether there is a corollation.
 
@BalarkaSen what are you doing here
and not on the physics channel
You monster
 
i abandoned you people
 
12:35 PM
@LeakyNun Oh it's the same. Thx
 
@philmcole glad to have done nothing :P
 
does anyone actually talk in hbar anymore
 
yes
But the cool people keep going away
and we are left with Secret
 
Oh no
 
I know he's here too, but he knows what he did
 
12:36 PM
My condolences
 
I like him
He's broken for sure
But a fun kind
 
also 0celo7's still banned so that's not a lot of interesting people left
I'm guessing to integrate operators like that I need one of those projection valued measure or whatever they're called
Axiomatic QFT's pretty weird because they basically never axiomatize how you actually do QFT
because it's so awful
 
only true QFT is functorial QFT
 
what?
 
12:42 PM
Functor?
I hardly know her
 
eyes roll back
 
Thank you
I'll be here all night
 
Can there be semidirect product between Zp X Zp and Zq, where Zp X Zp is the normal subgroup, when p<q
?
 
well Aut(Zp x Zp) = GL(p,2)
I'm not very familiar with that group though
 
Ok, always I've seen for p>q only...
 
12:51 PM
its order is (p^2-1)(p^2-p) = p(p-1)^2(p+1)
so if q | p-1 or q | p+1 then there is an element of order q
oh wait nvm
I misread your question
 
You're asking whether Zq acts on Zp x Zp. The answer is yes iff there is an element of order dividing q in Gl(2,p). Leaky's calculations are still relevant here.
 
ok if q>p then if f:Zq -> Aut(Zp x Zp) then ord(f(1)) | q, so f(1)=0 or ord(f(1)) = q. If the latter, then q | p(p-1)^2(p+1), which means q|p or q|p-1 or q|p+1...
only possibility is q=p+1 then, i.e. q=3 and p=2
 
If q is prime, the element must have order precisely q, and q>p implies q does not divide the order of Gl(2,p) unless
Sniped
 
that would be a group of order 12...
 
In the case p=2 there is one such semidirect product, and the result is A_4.
 
12:56 PM
ok now you're faster
I don't even know the answer
@MikeMiller why?
 
There is a normal V_4 subgroup of A_4 given by the disjoint transpositions, its quotient is Z/3 by its order, and there is clearly a section from Z/3 to A_4
 
nice
 
Thank you very much:) But why the only possibility is q divides p+1 ?
 
Did you see the calculation of the order of Aut(Zp x Zp)?
 
Suppose $X$ is a normed space and $x_1,\dots, x_n$ are linearly independent. given $\alpha_1,\dots,\alpha_n$ i need to show there is a bounded functional on $X$ ,call it f s.t. $f(x_i) = \alpha_i$.
so i can define $f$ on $span\{\alpha_i\}$
and by Hhan-Banach , because $f$ is linear and bounded on $span \{\alpha_i\}$ then it can be extended to $X$
 
1:10 PM
Can't you just fix $f(x_i)=\alpha_i$ and use Hahn-Banach?
Yes exactly
 
yes, but something bugs me
if $x_1,\dots,x_n$ are linearly dependent i can see the problem
why now there is no problem?
 
Yes now I got it, Thanks @MikeMiller
Thanks @LeakyNun
 
@AlessandroCodenotti sNiPeD
 
What kind of problem could there be?
 
that's my question
ah. i think im just confused
 
1:19 PM
"For a given positive integer m, find the i-th positive integer that is relatively prime with m."

I wonder if any algorithmic ways to do this are known?
 
Brute force
always works
 
@MikeMiller @LeakyNun Extensions of Z_p x Z_p by Z_p are more interesting to look at.
There's only one such thing, the Heisenberg group, I think
 
non-abelian cohomology
@Kiro well there's a pattern of cycle length phi(m)
but finding phi(m) is as difficult as factoring m
 
@AlessandroCodenotti is it easy that $f $ is bounded? if i define it as $f(x_i) = \alpha_i$ ? it is easy that it's bounded on the $x_i$'s, but i dont see why on $span\{x_i\}$
 
Okay. I always run into this stupid problem in various contexts (Calculus, Topology, etc.), which should be easy: Given $\delta > 0$, I want to find $0=x_0 < x_1 < ... < x_n = 1$ such that $x_{i+1}-x_i < \delta$. How do I do this? I draw picture after picture and nothing comes to me. I've solved this 'problem' a million times but I can never remember how to do it. If it makes things easier, the $x_i$'s can partition $[0,1]$ into subintervals of equal length.
 
1:28 PM
The Heisy boi is fucking weird because there is a (non-split) central extension 1 -> Z_p -> H -> Z_p x Z_p -> 1, a non-split extension 1 -> Z_p x Z_p -> H -> Z_p -> 1, and a split extension 1 -> Z_p x Z_p -> H -> Z_p -> 1 where those Z_p x Z_p and Z_p sit in completely different and weird fashions in H
p >= 3
 
@LeakyNun Thanks for pointing this out.
 
So two different extensions with the same sequence of groups, giving rise to a zero element and a nonzero element in H^2(Z_p; Z_p x Z_p)
Maybe two different twists there. I have to check.
 
@BalarkaSen why H^2 of group cohomology classifies extensions while Ext^1 in module cohomology classifies extensions?
(actually I know why now, thank you very much)
 
H^2 does not classify extensions
Only central extensions
 
well, that
 
1:36 PM
How does $\dfrac{|z-z_1|}{|z-z_2|} = k$ represent a circle in the Argand plane?
 
@BalarkaSen Ha! What are the corresponding matrices if it is semidirect?
 
@Mike @Leaky Also: If your nonabelian group has order p^2q, and has a subgroup of order p^2, the p-Sylow subgroup is normal. But then n_q is either 1, p or p^2 and is 1 (mod q), so the only possibility is p^2 = 1 (mod q). That happens iff (p, q) = (2, 3).
Without fiddling with the action
 
Aha
I never think about Sylow
 
where p > q, I assume?
 
@MikeMiller So denote an element of H by (a, b, c) where a is the 12-th entry, b is the 13-th entry and c is the 23-th entry. The normal subgroup is given by all the elements of the form (a, b, 0) and the Z_p subgroup is give by (0, 0, c)
@LeakyNun Yes, that's why q does not | p or p - 1, which is key to the calculation
 
1:38 PM
@BalarkaSen if you take H^2 wrt to all local systems you get all extensions, central extensions correponding to constant local systems
 
what is a local system o.o
 
on the level of $G$-modules, it corresponds to a nontrivial action
 
@Liad it is a map of finite dimensional spaces before you extend it
 
@MatheinBoulomenos I think he knew that but wanted to stick to known things
 
yes i thought it would be this kind of argument. but why would $|\sum \beta_i \alpha_i|$ be bounded? @AlessandroCodenotti
i dont have control over that $\beta_i$ 's
 
1:41 PM
Because every linear map of finite dimensional normed spaces is bounded
 
@BalarkaSen Interesting!
 
by linear you mean functional right? (the range is a field) @AlessandroCodenotti
 
Unbounded densely defined operators are where it's at
 
@MatheinBoulomenos I know any extension 1 -> N -> G -> H -> 1 for an H-module N gives me a class in H^2(H; N). Can you build an extension from a class in H^2(H; N) in general? I suppose you can.
I am always wary of these things
 
@BalarkaSen yes, you can you use the class to add another twist in the semidirect product
 
1:43 PM
No, I mean linear map between two finite dimensional normed vector spaces
 
Mmm I see
 
I was mentioning earlier the fact that I like that $\Bbb Z/2 \to \text{Spin}(n) \to SO(n)$ is the extension classified by $w_2$
 
I should work this out
 
(actually only the domain needs to be finite dimensional)
 
@AlessandroCodenotti What are the weakest conditions you can get away with on the codomain
 
1:45 PM
cool. (C.S right ? @AlessandroCodenotti )
 
Clearly "normed" is sufficient" or even "exists a translation-invariant metric"
 
so $(n_1,h_1)(n_2,h_2)=(n_1n_2^{h_1}c(h_1,h_2),h_1h_2)$ iirc
 
I don't know, can it be a TVS instead of normed for example?
What's C.S.?
 
@Liad A function to the reals on a compact space is bounded and the unit ball of a finite dimensional space is compact
 
chuachy schwaartz @AlessandroCodenotti
how do you prove it otherwise?
 
1:47 PM
As Mike said
 
I just outlined a proof which has nothing to do with Cauchy-Schwarz, which I believe to be irrelevant ;)
 
It certainly has nothing to do with Chuachy-Schwaarts in any way
3
 
Same works for $\Bbb C$
why not?
 
carrying is a cohomological class
 
The burden of proof that it has to do with CS relies on you
 
@LeakyNun please post your redpill mathematics somewhere else
it is unimpressive
 
@MikeMiller or on google :P
 
:(
 
Yeah, that is really an unnecessary proof
 
Is this Tom Dieck 2?
 
1:50 PM
@Liad the proof uses the equivalence of norms which is proved by the compactness of the unit ball, so the proof doesn't actually avoid that and so it seems overly complicated
 
What they are getting is a bound in the "1-norm" and the point is that any two norms are comparable
The CS appearance is just an unnecessary trick
 
@Daminark Tom Dieck 2: The Dametick Tomatoo
 
ok ok agreed
 
@Balarka did I tell you that my AT professor was a student of Tom Dieck?
 
lmao nope
 
1:52 PM
He's called Wolfgang Lück
 
Ohhh that guy
He's big on L^2 topology
 
@AlessandroCodenotti he must have a lot of luck
 
It's pronounced differently
 
Lueck
 
I know
 
1:52 PM
Thumb
@AlessandroCodenotti He is a nice guy and does cool stuff
 
but I like making lame puns
 
I'm taking an undergrad course with him so it's all normal stuff on co/homology, but I'm really enjoying the course
There will be a follow up course next semester that I can't take for credits but I'm thinking of going to the lectures anyway
 
nice
 
Ask him what percentage of manifolds are aspherical
Want to know for a friend
 
LOL
 
1:57 PM
what, are there finitely many of them?
 
There are a lot of them
All hyperbolic manifolds my fam
 

« first day (3059 days earlier)      last day (1965 days later) »