« first day (3909 days earlier)      last day (1115 days later) » 

7:00 AM
i dropped a bomb ooops
 
that is why we have voting irregularities in this country
minds have been twisted by the tribulations of multi column format proofs
on that note i am going to bed to settle into some mindless netflix anodyne
hopefully the unctious wound to my self will have healed by then
i wonder if zorn used a two column approach
in his case an uncountable number of columns
 
precisely
 
this is why he lost
 
that is why he won
 
7:04 AM
April 2021, that is why he will win next time
 
minds ruined by proofs
 
I feel like two colums would really help me get my misunderstandings across clearer
 
stephen curry for president
 
i think the problem with the two column format is that it divorces establishing mathematical facts from how people actually communicate with one another. there are places for very precisely delineated formal reasoning, but that is not the space in which most of us operate.
i also abhor the use of $\exists$ and $\forall$ in any literature outside of set theory or math logic. it perplexes me why 'introduction to proof' books (which seem an invention of the last 30 years) love this stuff. you do not see it in math books outside of certain fields.
and yet people are told they need to use it if they want to be formal. it's an outrage.
please contribute to my gofundme, i pledge to oppose this heresy in all of its forms.
 
people confuse pedantic with formal.
 
7:10 AM
exactly.
 
is this necessarily true in any topological vector space ? If there is a neighbourhood of $0$, $V$ suc that $f(V) \neq \mathbb{C}$, then $f$ is a continuous linear functional
 
'i need to translate this into some alien language' - no, you just need to think more clearly about what you're talking about and use the same words you've used since you were a kid.
 
kids are tormented with associative, distributive rules and other mind space wasting riddles.
 
sorry , I mean $f$ is a linear functional, I want to know if this condition guarantees its continuous
 
7:11 AM
definitely not
 
why are you asking?
 
actually maybe yes.
what happens if there is $v$ such that $f(v)$ is nonzero?
yeah, so i think the hypothesis implies that $f$ is the zero functional.
unless i've lost it.
 
linear functionals that are nonzero are surjective yes
 
i mean, i have lost it, but i mean unless i hadn't lost it and had somehow lost it for this reason.
 
is it a convex space?
 
7:14 AM
only assumption is its a vector space
(over $\mathbb{C}$)
 
a tvs
 
you said "neighborhood of zero" so there's more than vector space
 
yes sorry
it has a topology
that makes scalar multiplication and addition continuous
 
is it locally convex?
 
but it doesn't have to be normed
 
7:14 AM
if a neighborhood of 0 must contain a nonzero vector, i think we can conclude that the hypothesis implies that $f$ is the zero functional hence continuous.
 
we don't know that
 
but people put all kinds of crazy topologies on vector spaces. in the old days these people would be roaming the park with trench coats on, now they're doing this.
it's just the world we live in.
 
Hey guys any self explanatory book on $ 3D Geometry $.
Which takes through visualisation
 
if its a normed vector space, this definitely implies continuity, because it implies continuity at $0$: Let $V$ be a nbhood of $0$ for which $f(V) \neq \mathbb{C}$, suppose $f$ is discontinuous at $0$, then there is a sequence $x_n \rightarrow 0$ in our vspace s.t. $f(x_n) = 1$, hence for $||x_n||$ sufficiently small, $\alpha x_n \in V$ for any $\alpha \in \mathbb{C}$, which means $f(V) = \mathbb{C}$
 
@Rover you can have a look here
 
7:21 AM
but in a general TVS we probably need a stronger assumption
 
Suppose $G$ is a group, $R$ is the set of elements of a row of $G$'s cayley diagram, $g, h$ are elements of $G$, and $r$ is an element of $R$ that satisfies $gh = r$. Show $R$ contains every element of $G$ only once.

$Proof$ By $gh = r$ there exists an injection $f_1: G \to R$. $gh = r$ implies by group properties $h = g^{-1}r$, so there is a surjection $f_2: G \to R$.

any way to get a bijection to end this proof, without further defining $f_1, f_2$?
 
what does "By $gh =r $ there exists... " mean?
 
why is it necessarily true that if $f$ is not bounded on $V$, $f(V) = \mathbb{C}$?
 
@copper.hat i think he means "since gh=r there exists..."
 
i need a convex nbh to use my proof.
 
7:26 AM
ah okay
 
@Euler2 yes, exactly
 
I would start with:
Suppose G is a group, R is the set of elements of a row of G's cayley diagram. Show R contains every element of G only once.
Introducing $g,h,r$ at that stage is confusing.
 
alright, will rewrite!
 
Remember, the row is not a set.
it is the map from $G \to G$ corresponding to multiplication by a particular element.
 
@TedShifrin I'm trying, I feel like I may have missed something, and don't want you to repeat yourself, But I wanted to show you my working thus far, physics.stackexchange.com/questions/629999/…
 
7:31 AM
@copper.hat right! which can also be notated like a set, no? $\{gx_1, gx_2, ..., gx_n\}$,
 
well, since it is a bijection you can, but it is really confusing to do so.
i do not get the preoccupation with $\{gx_i\}$.
 
yeah, I just ended up leaving it out
it's just, I want to see if I can prove it from the injection $gh = r$ and the surjection $h = g^{-1}r$
 
For a fixed element $g \in G$, the row is the map $h \mapsto g \cdot h$. Let me call the map $f$ as in $f(h) = g \cdot h$.
you need to show that if $f(h_1) = f(h_2)$ then $h_1 = h_2$.
i think we have been down this road already>
ground hog?
 
yeah, I successfully proved it using another method
using your comments
First show bijectivity, and then:
Let g be an element of a group G. By definition of a group, g is invertible, so group multiplication by g is bijective. An element r of the row R of a cayley table is an image of group multiplication by g. Therefore, by bijectivity, an element of G appears in R exactly once. â– 
 
a row in a Cayley table is the map $f$.
 
7:38 AM
so that one works, I think, but I'm trying this other proof method
@copper.hat yeah, if we show it is bijective, the proof is completed, I think
 
well, you just need to show injectivity, right?
 
Suppose $g,h \in G$, $r \in R$ satisfy $gh = r$. Then there is an injection $f: G \to R, x \mapsto gx$
 
i need to go to sleep. What is $R$?
 
the set of the elements of the row, but we don't name the contents of $R$ other than $r$
 
i give up, sorry. a row is not a set.
the elements in a row represent a function mapping from the elements at the top of the table to the elements left multiplied by the element at the left of the row.
good night :-).
 
7:44 AM
i totally agree with you! I'm just trying to see if there is a proof that works if we take the row to behave like a set
good night, thanks a lot for the help!
 
@Euler2 ok
 
what goes wrong in a normed linear space if the kernel of a functional is closed, but the functional is discontinuous at $0$?
 
7:57 AM
oh okay, if $T$ is discontinuous at $0$, there is a sequence $x_n \rightarrow 0$ with $f(x_n) = 1$ for all $n$, let then $x_n - x_0 \in Ker(f)$ for all $n$, and $x_n - x_0 \rightarrow -x_0$, so $-x_0 \in Ker(f)$ which is impossible
 
8:38 AM
Let $G$ be a group with $\cdot$ and $R$ be the set of elements in a row of $G$'s cayley table. For $g, h \in G$ and $r \in R$, we know $g\cdot h = r$. Show that $R$ contains each element of $G$ exactly once.
**Proof.** Since group multiplication is a map $f:G \to G$ that assigns $g,h$ to a unique $g\cdot h$ in $G$, and since $g\cdot h = r$, $r$ is identical to a unique $g\cdot h$ in $G$. Since $r$ is any element in $R$, $R$ contains each element of $G$ exactly once.
@copper.hat how about this one? is it convincing?
 
8:57 AM
How can we write sinx\2-cosx\2 in terms of $sinx$?
As $\sqrt(1-sinx)$ or $-\sqrt(1-sinx))$
 
 
2 hours later…
10:50 AM
is it true that if $E$ is a normed linear space that is isometric to another normed linear space $F$, then if $\pi : E \rightarrow F$ is an isometry onto its image, $\pi$ also has to be surjective?
$\pi$ is a linear isometry*
never mind
 
11:10 AM
since leslie isn't here, let's think about the shift
 
11:48 AM
this is what mse looked like in 2013
we can see amwhy there :)
 
 
1 hour later…
1:07 PM
consider a function $y=f(x)$ in some interval $[a,b]$
 
All this hatred of two column proofs. Most of my answers are in two column style only the second column is given as an "Explanation:" following the proof statements.
 
the standard deviation of the y-values
is
$$<y^2>-<y>^2$$
where $$<y>=\dfrac{\int_a^{b} ydx}{b-a}$$
and likewise for $<y^2>$
is this not right?
 
That is the variance, which is the square of the standard deviation.
 
(variance, not standard deviation sorry)
@robjohn right
but the expression seems correct, right?
 
yes, the mean of the squares minus the square of the means.
 
1:16 PM
yes, thats how I remembered it too :-) Anyways
the problem is
use this to find the variance of $e^{-ax^2}$
over $(-\infty, \infty)$
 
well, the mean is $0$, so that does half the work
 
yes
the problem is with the $(b-a)$ term
 
That is a density?
 
erm...what is that? probability density?
 
usually when people talk of $e^{-ax^2}$ is as a probability density
 
1:20 PM
Lets just assume it to be a "function"
i.e it generates a lot of y values for us
 
then the variance over the real line is $0$
not very interesting
 
how did you conclude that?
did you do
 
most of the time it's zero, plus there is no even density over the entire reals, so almost any function will have zero variance if it is integrable.
 
$$ lim_{n \to \infty} \dfrac{\int_{-n}^{n}e^{-2ax^2}dx}{2n}$$
 
The point of $\frac1{b-a}\int_a^by^2\,\mathrm{d}x$ is that it is a uniform density over the interval $[a,b]$
You are trying to put an even density over $\mathbb{R}$
 
1:24 PM
okay..
 
about which there are many posts declaring its impossibility
so the limit you get is $0$
as I said: not interesting
 
well, I just realised that we can use l'hopitals rule to conclude the limit..but anyways, my next question
:
 
Think of it this way; at the "random" point on the real line, $e^{-ax^2}$ is very small.
 
hmm yes
 
not much variance there
 
1:26 PM
but then, why is it said that
 
there is a small bump near zero, but that has very little chance of happening.
 
$$ \dfrac{\int_{-\infty}^{\infty} e^{-1/2x^2}}{\sqrt{2\pi}}$$
 
they are talking about using $\frac1{\sqrt{2\pi}}e^{-\frac12x^2}$ as a density
 
has a unit variance?
@robjohn okay.. what does that do exactly
 
So you take $\int_{-\infty}^\infty x^2\color{#C00}{\frac1{\sqrt{2\pi}}e^{-\frac12x^2}}\,\mathrm{d}x-\left(\int_{-\infty}^\infty x\color{#C00}{\frac1{\sqrt{2\pi}}e^{-\frac12x^2}}\,\mathrm{d}x\right)^2$
that is the variance of the density
 
1:29 PM
ah okay
 
since the mean is $0$
 
ah okay so if the variation density is p, then the variance will be:
$$ \int x^2p(x) dx - (\int xp(x)dx)^2$$
?
 
yes
 
gotcha.
also
 
the probability density is $p$ and the variance of $x$ is that ^^^
 
1:32 PM
@robjohn i am probably being sent to math jail after saying this, but its like saying that the probability of selecting the origin is $\dfrac{1}{\infty}$
 
yes
 
hmm it makes sense now
@robjohn also, I tried using your chatjax extension, but it doesnt work properly...
 
in what way?
 
I need to refresh before every eqn I post
refresh==== clicking on start chatjax
(chrome btw)
 
it sounds as if you are using the render MathJax bookmark and not the start ChatJax one
 
1:36 PM
no , I used start chatJax
 
Ah, Chrome sometimes has problems, but there are many here using Chrome for whom it works fine
Not sure what the difference is in their set up
but it can work under chrome. There may be some Chrome setting that prevents bookmarks from running continuously.
or at least from doing what ChatJax does.
I don't know what that setting is. I wish I did.
 
:( its alright
 
There is probably a JavaScript setting in the browser that can be changed to let ChatJax work normally
Since it works for most of the Chrome user here (I believe).
Though most of the problems are with Chrome users.
Someone had a problem with Edge
Firefox and Safari seem to work okay
@satan29 one thing to try is to refresh the page (its control-R or command-R in Firefox) and then re-run "start ChatJax"
if you've run "render MathJax", it will prevent "start ChatJax" from working until you've refreshed
Yep. I ran "render MathJax", and it prevented "start ChatJax" from starting its loop
Refreshing the page and re-running "start ChatJax" allowed it to run properly
Let me know if that helps
 
1:51 PM
Hey, in math.ucdavis.edu/~hunter/pdes/ch3.pdf page 55, right under "From Theorem 1.28" (1.28 is labeled in red) it is written that "... the definition of the weak derivative" and under it an equality strikes. I understand he means the second equality comes from the definition of weak derivative. Why is this true? I don't get it
 
@satan29 Oh, I see you are refreshing... darn
@Myprofileissaved you'll need to wait until someone downloads that PDF
 
its accessible via browsers no?
let me upload an image
 
no don't, please
 
ok. Any better way to present the question?
 
$\partial^\alpha(\eta^\epsilon\ast f)=(\partial^\alpha\eta^\epsilon\ast f)$
that is the equation?
You may have to install "start ChatJax" to read that
there is a link in the upper right corner of the page
 
1:57 PM
No. This $\int_{\Omega}\partial_{x}^{\alpha}\eta_{\delta}(x-y)f(y)dt=(-1)^{|a|}\int_{\Omega}\partial_{y}^{\alpha}\eta(x-y)f(y)dy$
Why this equality holds? I don't get it
 
because $\partial_x\eta(x-y)=-\partial_y\eta(x-y)$
chain rule
it's just that, $|\alpha|$ times
 
I don't understand why the chain rule gives this
 
if $\eta(x-y)$ is increasing in $x$, then it is decreasing in $y$.
does that make sense?
that is pretty much what the chain rule is saying
 
Yes. If $\eta(x-y)$ increasing in $x$ then it is decreasing in $y$.
 
$\eta(x-y)$ is the composition of two functions: $\eta:\mathbb{R}\to\mathbb{R}$ and $x-y:\mathbb{R}^2\to\mathbb{R}$
$\partial_x(x-y)=1$ and $\partial_y(x-y)=-1$
 
2:07 PM
oh ok. Now I understand :D
 
so $\partial_x\eta(x-y)=\eta'(x-y)$ and $\partial_y\eta(x-y)=-\eta'(x-y)$
okay, I'll stop blabbing
 
Yes I understand now. Thank you very much robjohn!
$f$ testing chatjax
 
2:23 PM
does it work for you?
 
Yes it does
 
great!
 
without the need to restart the browser. Really nice
 
makes the room a lot more useful
 
Order of magnitude more useful
 
2:25 PM
gotta go walk the dogs. BBL
 
peace out
 
The Q is written below here
in the photo
to prove the Q
Value of x has been taken 0
Then , we got lambda = m
What I didn’t understand is that how does solving like this prove the answer to the Q
So what if lambda = m. How does it prove the Q?
It is determinants
 
If $R\ro K$ is a surjective $A$-algebra map and suppose that both the kernel and $K$ are finitely presented as $A$-algebra, then is $R$ finitely presented?
$A$ here is a cring with 1
 
2:54 PM
yes, prove it
 
3:08 PM
cring is just one e away from cringe
 
and just one y away from crying
 
maybe the universe is trying to tell us something
and it's just one h and a permutation away from grinch
 
3:30 PM
what a gorgeous morning.
in albany california
 
pretty nice here in long beach, too. some sun, but cool
 
~50f outside which i like.
hoping my friend responds to my text so i can have some gripe company on a ride
yellen (who lives in berkeley i think) is proposing a global min corp tax rate. get her grubby little hands out of my country please.
 
she used to at least have a house there. they may have moved to DC
 
i bumped into her a few years ago in n berk.
i liked her policies then :-)
 
hah
i never bump into anybody.
just the same old nobodies, day in and day out
 
3:42 PM
i'm tired of big bully countries starting w france & germany. follow our rules but, oh, we don't need to. so much for fiscal rules.
i have become socially isolated. hence my presence here :-)
i am not good at remote relationships
i have a few very well connected friends, but since covid that whole world has disappeared.
 
Which country has the best DJ's?
 
plus i would meet people every day on the unnecessary commute to sunnyvale
why would it be country specific/
 
russia or germany.
it wouldn't, but i'm just playing along with the concept
 
The Netherlands
 
i love techno & euro pop
 
3:45 PM
netherlands punches well above its weight but on average a little too pop and dancey for me.
the UK also amazing for djs
 
except for my f'ing hip since i can't dance
embarrassing as it is for others to watch
 
most of the top DJ's come from Europe
 
i need more connections. i need to get ahead in the world.
 
How are you going to get more connections?
 
i like meeting random people.
 
3:47 PM
before covid a good way was going to legal events in LA or orange county. you could meet all kinds of people. and if you went every time i suppose you'd get to know them.
 
i have a poor memory though.
 
i talked to a guy who is now a federal judge about the dimensions of real division algebras. i sent him a paper on it.
he also asked if i could remember any way of evaluating $\lim_{x \to 0^{+}} x^x$. so look out, everybody, at least one judge out there is a weirdo. shock of the year, i know.
 
@geocalc33 be genuinely interested in people, then it all happens.
why are people so preoccupied with such rubbish
$-{1 \over 12}$ ffs
 
he had a hazy memory of it from graduate school but could not remember any way of doing it.
i satisfied his curiosity.
i actually grabbed a pen and some kind of flyer and showed him how to do it on the back of the piece of paper.
 
if i start talking work people glaze over
what's an emulator?
 
3:51 PM
actually maybe the most fun i've ever had at a legal event. they are crushingly boring. bad meal is served, then speech, then dumber speech, then everyone leaves.
 
there are often nuggets there :-) staff, other folks, etc
 
staff are the best.
 
i think it helps to have been dragged up through working fields, sites, etc, gives you a perspective on some kinds of work
 
before covid my sister was staff. staff know everything.
 
i have a close friend who works in the hospitality industry (used to be vp of major asia luxury hotels etc), his insight into people is surprisingly & scariliy deep.
people are very predictable
he started at the bottom, working pubs at home.
 
3:55 PM
scarily*
 
even in the 70's once found neighbours in the pub sharing keys for a bit of variety at night
these were nominally god fearing people
 
you need to spend a day or two footing turf to begin to really understand folks.
 
Is it true that most scholars (mathematicians, philosophers, etc.) come from germany?
 
@geocalc33 do you do spell check usually? :-)
omg
are you serious @Euler2
 
euler, i'd guess not. germany is that big of a country although it has quite a scholarly tradition.
 
3:56 PM
@copper.hat no I am a good speller
 
if you limit to some time period in history it might be close to the top. but 'germany' might not have existed.
 
i mean you were correctly my spelling :-)
 
germany is not that big of a country, i meant to say
most of my mathematical ancestors are in germany, for what that's worth
there's also a weird gluing together with "mathematicians, philosophers, etc." many cultures do not have what many people would think of as a philosophical tradition. i would include the united states in this. which is not to say that we don't have them.
 
people forget the rather amorphous nature of country boundarie, sorry frontiers
 
Everyone should use "I" rather than "i"
 
3:58 PM
i won't sry
 
no, they should use j, so we don't confuse it with current.
 
$\sqrt{-1}$ agree
 
I an talking about English
 
i an too
 
my time is too important to hit 'shift'
 
3:59 PM
hey guys someone could help me? I don't know what rules I need for integrate this function: $\int \sqrt{(16+y^2)^3}$
 
also i am trying to reduce wear and tear on my keyboard, thus extending its working life
 

« first day (3909 days earlier)      last day (1115 days later) »