« first day (3214 days earlier)      last day (1799 days later) » 
00:00 - 16:0016:00 - 00:00

4:00 PM
Intuition is a great thing to have, but you should always supplement it with a rigorous formulation.
 
@Thorgott Hm, if $W$ isn't complete there's a Cauchy sequence $\{w_n\}$ with no limit. If $V$ is a Hilbert space, you could fix an arbitrary vector $v \in V$, look at the projection $V \to \langle v \rangle$ and compose that with $\langle v \rangle \to W$, sending $v$ to $w_n$. That gives a sequence $T_n : V \to W$ of linear maps which doesn't converge in the operator norm, right?
 
user131753
@SubhasisBiswas Intuition is always misleading unless you have a rigorous formulation of that in purely formal terms.
 
If it did converge to $T$, then $\|T(v) - w_n\| = \|T(v) - T_n(v)\| \leq \|T - T_n\|_{op} \cdot \|v\|$, which goes to zero. That'd force $w_n$ to converge to $T(v)$.
And I mean $\{T_n\}$ is Cauchy as well, because it kills everything orthogonal to $v$ and $\{T_n(v)\}$ is Cauchy in $W$.
 
user131753
4:22 PM
@Thorgott I am pretty much sure that this theorem follows from Hahn-Banach Theorem in a non-trivial way.
 
Yeah you need something like that to extend if the domain is just normed linear
 
@BalarkaSen Where exactly does that argument use the completeness of $V$? Is that needed to ensure the existence of an orthogonal projection?
 
The orthogonal projection of an inner product space $V$ to a closed subspace $U$ is usually given by the minimum distance to $U$, which needs continuity arguments
I think you end up using completeness crucially there
But I could be wrong, not too familiar with functional analysis
Hi @EricWofsey!
 
4:42 PM
I don't know functional analysis, but checking the reference I have at hand, it seems that being a Hilbert space is at least a sufficient condition for the existence of orthogonal projections on non-empty, closed subspaces. This leaves the case of non-Hilbert $V$ and infinite-dimensional $W$; the question might be more non-trivial than anticipated...
 
5:33 PM
babe, i think i figured it out. I could be wrong tho
@BalarkaSen :P
here's how I am approaching it (the missing part)
 
Hey I have a simple question about cosets that is evading me if anybody can provide a hand. Is it true that for any subgroup $H$ of a finite group $G$, $\exists x \in G$ such that $G = \bigcup\limits_{i=0}^{|H|-1}x^iH$?
 
Supposing that there could indeed be a possibility that $G$ contains $4$ distinct elements $\{x,y,z,w\} (=B)$ of order $3$:


Let $A=\{x, x^2, e\}$ be the cyclic subgroup generated by $x$
Then $[G:H]=2$, which further implies that $x^2 \in H, \forall x\in G$.

Now, $y^2, y \in A$. It must be the case that $y^2=x$ and $y=x^2$ (otherwise, $x=y$, or $y=e$, an impossible case by our assumption). Now, there is another element $z$ of order $3$. Again, $z, z^2 \in A$. So, $z=y^2$ and $z^2=y$. But, this in turn implies that $z=x$. So, the elements in $B$ fail to be distinct. So, $|B|=2$ since, $|B|
@@BalarkaSen , amirit
@Dohleman where did you get this
 
it's part of a proof i'm reading that i'm doubting
 
I think (don't take my word for it) that if $x \notin H$ and $o(x)\geq o(H)$, then there is a chance
 
5:48 PM
The exercise that the proof is for is from Gallian's Contemporary Abstract Algebra Ch7E38. It's assumed at the beginning of the proof to derive most of the results. The exercise as stated is "Prove that if G is a finite group, the index of its center cannot be prime."
I'm doing self-study so I don't have classmates/professor to ask. :\
 
@Dohleman well, if the index of $Z(G)$ in $G$ is prime, then the quotient group becomes cyclic.
 
so you're saying it could work for nontrivial subgroups?
 
@Dohleman take it with a hugeeeeeee grain of salt, think yourself. I am also thinking about it
Well, you just need to do the proof, right?
the proof is very straightforward
 
The proof for the exercise would be nice but the claim I'm asking about is really what I'm interested in at the moment.
 
That's a very interesting question indeed.
 
5:52 PM
because to me it seems kind of outlandish
 
6:09 PM
@BalarkaSen Actually, I think there is no difficulty in projecting orthogonally on a finite-dimensional subspace. Fix $v_0\in V$ s.t. $\lVert v_0\rVert=1$. Then $v\mapsto\langle v,v_0\rangle v_0$ is an orthogonal projection on $\langle v_0\rangle$. I checked the conditions and either I'm missing a very subtle detail in the case that $V$ is infinite-dimensional or this works and gets rid of the completeness assumption.
 
Am in Rome now, btw. Will be very happy when I arrive at a bed to collapse on
 
6:48 PM
I got some help on the main site. Turns out to be ridiculously false.
Consider $H=\{e\}$.
 
No
It is still true
Take $x=e$
@Dohleman
 
@Semiclassical omg, when in Rome do as the Romans do :-)
 
7:03 PM
@SubhasisBiswas well no 'cuz then $G$ would have to contain a generator and thus be cyclic but not all finite groups are cyclic so the statement becomes false
 
I am still trying to justify it. From which book this theorem is?
 
I've always loved helping people. That's why I have chosen a career in imposing the will of politicians with the threat of violence. That's why I am proud to be a police officer
 
proud?
 
yes they gave me a shiny costume
 
@Dohleman no. Look at the next answer. It's far better than your accepted one.
$ [G:H]=m=o(x)$. So, this in turn demands that the quotient group becomes cyclic. It is not true in general. You still need to provide an example.
 
7:09 PM
if your don't have personality traits that enable you to receive respec by default don't worry, the government have a wide range of costumes that force people to respect everything you say about all the things that are rely good (Jesus, money, fossilfuels) and all the things that are banned
 
@Subhasis i think i see what you're saying...because there are subgroups of noncyclic finite groups which are noncyclic sometimes, huh?
 
@Dohleman well, there is a theorem (very well known) that says: The quotient group $G/Z$ cannot be non trivial cyclic. Use it
A counterexample is necessary
 
what do you mean by "respect"? :P
 
I have a bit of a head scrather. I'm given a pendulum, its displacement from the center point (5cm), period 1.57s and need to find max acceleration...
oh, it's a spring pendulum
 
7:31 PM
Hey all. I'm trying to figure out how to calculate a y value for a sine wave based on 25 x values between 0 and 1 (so .04 steps). I am going with the assumption that the sine wave will have a maximum magnitude of 1 as well.
Can anyone help with this?
 
8:05 PM
@Dohleman. I have constructed a proper counterexample. Go check this out
I believe it is correct
by correct I mean, my answer. The statement you mentioned is indeed terribly false
 
@BrandenBoucher: You'll need to explain your question more carefully. What do you mean by "y value for a sine wave based on 25 x values"? You have numerical data for every integer multiple of $x=.04$? So can you predict the period (or frequency) if you know it has to be a sine wave?
 
@TedShifrin can you please verify this answer? math.stackexchange.com/a/3237492/389992
I am not very much confident about this
but I tried to write it out
 
I think I figured it out actually: x=cos(2π/25 * X) / 2
 
@SubhasisBiswas: I think the original question is mis-stated. Surely the OP intends $|G|/|H| -1$.
 
no
actually :p
 
8:18 PM
Then it's a truly stupid question. I'm done.
@BrandenBoucher: I don't understand what you wrote.
 
Hello professor. How are you?
 
@TedShifrin well I'm just trying to calculate points along a cosine starting at 0,0.5 and ending at 1,0.5 with an amplitude of 1 (so a min value of -0.5 for y)
 
Where did cosine come from? Where did the amplitude of 1/2 come from? And how in the world do we know that we get one wave as $x$ goes from $0$ to $25$?
 
cosine because I didn't want to shift it over from 0,0 for a sine
 
Your definition of amplitude isn't right, by the way.
Do you know there's exactly one wave between x=0 and x=1? The 25 is totally irrelevant here.
 
8:22 PM
in my usage I'm actually shifting the graph up by 0.5
yes, I know there is exactly 1 wave between 0 and 1
 
Then the 25 is totally irrelevant.
 
you're right.
25 is irrelevant
and it's throwing me off...
 
You want a cosine wave that has a period of 1, rather than $2\pi$.
How about $\cos(2\pi x)$ with whatever amplitude you want.
 
yep
that's what I need
 
That was tough to figure out :P
Hi @skull
 
8:25 PM
It was hard to remember how to correctly describe what I was trying to accomplish!
 
LOL, well, I guess we got there eventually :)
I still have no idea what the 25 samplings have to do with anything.
 
I appreciate your help and your patience
 
Sure.
Heya, Italian @Semiclassic.
 
Hi @Semiclassical
 
8:26 PM
Lol
Getting there was an adventure. Minneapolis to London via Iceland, and then London to Rome
 
you mean $\frac{|G|}{|H|}-1$ right?
the typo?
 
Got to experience one cool terrestrial phenomenon though
 
Yes, @SubhasisBiswas, as you cover the group with $|G|/|H|$ cosets.
 
@Semiclassic: My trip back to SD from Dubrovnik had flight changes in Frankfurt and London.
 
8:29 PM
Context: we left Minneapolis about an hour or so before sunset. So while flying east, the sun dipped below the horizon with that characteristic red glow above it
 
Oh, that's cool.
 
Other context: Reykjavík is near the arctic circle
 
The dual to the physics of why the sky is blue :P
 
@TedShifrin hey!
 
Good that you found the flight so exciting, @Semiclassic. Now for the conference :P
heya @Leaky
 
8:30 PM
Which meant that while the sun did dip below the horizon, the red glow above it didn’t go away
 
@TedShifrin I borrowed Korner Fourier Analysis
 
Oh, isn't it an interesting book?
 
yes!
 
See, you finally like one of my recommendations :)
 
Which meant that, before we landed in Iceland in their morning, I got to see the sun rise -out- of that red glow
 
8:31 PM
Probably literally a once-in-a-lifetime experience, @Semiclassic.
 
coolio
 
Yeah, the timing was pretty on point. got to see a sunset turn smoothly into sunrise
 
You've been absent a long time, Skull ... and of course you had to change names again.
 
:-)
 
same-sex marriage became legal in Taiwan on May 24
 
8:32 PM
We basically ended up skimming the bright/dark boundary on the earth (there was a video panel on the back of the seat in front of me to see it)
 
Yes, I saw that, @Leaky. As the US goes backwards to the 18th century.
 
what happened in the US?
 
Several states are making abortions illegal, and of course the government is dismantling gay rights ...
 
oh I've heard about the abortion thing
 
Europe is going populist backwards in its own ways ...
 
8:34 PM
really backwards
 
It's worse than that
 
@TedShifrin the downside to this, mind, is that in the 16 or so hours it took me to get to Rome
 
Well, we have a president who thinks he's emperor and has no responsibility to the Constitution or to the other branches of the government.
 
There was never a point where the sun’s light wasn’t visible in some way
 
8:35 PM
@Semiclassic: Counting time change, my trip from Dubrovnik was well over 28 hours, I think.
 
Which...rip sleep schedule
 
It's not just that we are doing things like making abortions completely illegal, the idiots that align themselves with their political party have become so triballistic that there is no acceptable middle ground.
 
@Semiclassical mine's already pretty messed up
 
There's no more compromise between the two major parties. Instead people here have compromised their own believes to fall in line.
 
yes, tribalism is a great problem
 
8:37 PM
@SubhasisBiswas: I think the interesting conjecture is this. If the condition holds (with the typo corrected), must $H$ be a normal subgroup (so that, of course, $G/H$ is then a cyclic group)?
 
I think so
a good exercise for a normie like me
lulz
 
@BrandenBoucher: You won't be surprised to know that for me most of the Democratic party is too far to the center. But the Republican party has totally sold its soul and has long since ceased to play by the Constitution.
 
$G$ should be abelian?
 
no, $G/H$ should be abelian.
 
@TedShifrin Seeing L-functions and Dirichlet's theorem at the end of the book was a surprise to be sure, but a welcome one
 
8:39 PM
Hint: You can't take $H$ to be the center, or $G$ will (by a good exercise) have to be abelian.
@Leaky: I actually don't remember everything that's in the book.
 
@TedShifrin, to each his own. I just feel dumb for falling prey to another political comment...
 
Dirichlet's theorem that an+d has infinitely many primes across n when a and d are coprime
 
proof is highly analytical
 
LOL, feel dumb if you wish.
 
8:40 PM
@Leaky: So much of number theory turns into analytic proofs ...
 
idk what made those people come up with those proofs
 
I like analytic number theory
 
@TedShifrin yee haw. can't be non trivial cyclic
 
I have no idea what you're referring to.
 
The quotient group $G/Z$ cannot be non trivial cyclic
 
8:44 PM
I don't ever bother saying "nontrivial," but of course if $G$ starts out abelian, it's not very interesting.
 
ok, here's a sketch I am writing out
not at all original though
Let the QG be cyclic. pick arbitrary $p, q \in G$.
 
@TedShifrin my last exam is on tomorrow!
it's about differential equations
 
$p=a^rz_1$ and $q=a^sz_2$. $pq=a^{r+s}z_1z_2$ [property of centre]. now, $qp=a^{r+s}z_1z_2$
group becomes commutative.
oof
@LeakyNun indian college?
 
imperial college london
 
@LeakyNun xD
nvm
 
8:51 PM
The trouble I have with an attitude “ugh, tribalism is dumb” is that there are political issues which are worth fighting over in the political arena
 
will I be wrong if I say the entire humanity is wrong?
 
No, but you’ll still be a part of that very humanity
 
r/kamikazebywords
what time is it?
 
9:45 PM
I want to set up a stack exchange community for maple users but it says error no user access for the area 51 one thingy so I guess there was no way
what's the url for whatever stackexchange is in canada
and why does stack exchange plug Nellis air force base hoha sillys anyway I mean unless they have q clearance which would make sense why the so many non human acting nimrods exisit but yes
exist*
 
10:16 PM
Could someone please help me with a thing?
I want to calculate something but I am not sure how to do that.
It's, for a game. The player has a current health ($Hc$) and maximum health ($Hm$) numbers and I want to apply a special damage reduction ($R$).
This damage reduction increases inversely to its remaining health percentage ($\frac{Hc}{Hm}$).
The formula of this damage reduction is: $F(x) = (10+e)/e^{-x*10}/100$, where $x = \frac{Hc}{Hm}$, this reduction is multiplied to the incoming raw damage ($D$) and the result if the reduction of health.
Oh, I forgot a dollar symbol and so the latex became mad.
This is the fixed latex:
$Hc = 30$
$Hm = 100$
$D = 10$
$R = (10+e)/e^{-(\frac{35}{100})*10}/100 = 0.6459...$
$D_2 = D * R = 6.45...$
$Hc_2 = Hc - D_2 = 23.54...$

With this

$Hc = 30$
$Hm = 100$
$D = 5$
$R = (10+e)/e^{-(\frac{35}{100})*10}/100 = 0.6459...$
$D_2 = D * R = 3.22...$
$Hc_2 = Hc - D_2 = 26.77...$

And (the same but using the current health $Hc = Hc_2$)

$R = (10+e)/e^{-(\frac{30-((10+e)/e^{-(\frac{35}{100})*10}/100)*5}{100})*10}/100 = (10+e)/e^{-(\frac{26.77}{100})*10}/100 = 0.4952...$
My current aproach is very clumpy. Instead of using a formula I did:

Hc = 30
Hm = 100
D = 5
for N in {D, D-1, D-2, D-3... D-(D-1)}
	R = (10+e)/e^{-(\frac{Hc}{Hm})*10}/100
	Hc = Hc - (1 * R)
 
 
1 hour later…
11:51 PM
Why the complex differentiability of $f(z)$ and real differentiability of $f(z)=f(x,y)$ are two different concept? $H:\mathbb C\to \mathbb R^2 : H(z=x+iy)=(x,y)$ is homeomorphism as well as homomorphism. right?
 
00:00 - 16:0016:00 - 00:00

« first day (3214 days earlier)      last day (1799 days later) »