« first day (2339 days earlier)      last day (2584 days later) » 

12:06 AM
Hello everyone
Does anyone know of an interesting electrodynamics concept that can be related to Iron Man (the Marvel character)?
 
wtf is $T^{**}\supseteq T$ supposed to mean for linear operators
probably extension
indeed
 
12:27 AM
Hi all, I'd been struggling with motivation for a bit with the subject, as a first year the stuff I've seen so far hasn't really satisfied me but even just being on this site and scrolling past all the questions I can't answer has inspired me and given me back the motivation. Wanted to give thanks for that somewhere, also, if you don't mind answering, what are your favourite, more specific areas of physics? :^ )
 
@Slereah the domain for the momentum operator is pretty stupid
you want it to be the functions $f\in L^2(\Bbb R)$ with $f$ absolutely continuous on every compact interval with $f'\in L^2(\Bbb R)$
I think that's just $f\in W^{1,2}(\Bbb R)$
still...strange
 
12:45 AM
@DanielSank OK, let's do this
I've never had a problem with JS in 4 years
How is it getting this much hate? D:
 
I don't even have it installed on my machine
Took it off years ago.
 
@0celouvsky It...th...
;-;
 
yes?
@SirCumference what?
 
@0celouvsky you know
Practically every website uses JS
 
@SirCumference If I write an analysis book, will you read it?
 
12:48 AM
@0celouvsky Depends on how intuitive it is
 
@SirCumference the first chapter will be very intuitive
 
@0celouvsky ok
 
I believe that an intuitive introduction to analysis is what allows one to do abstract things later
 
I don't know if you can legally publish it as "Revolver J. 0celouvsky", but I'm not a lawyer
 
the layout would be something like: 1. The Real Numbers
2. General Topology
3. Calculus in Many Dimensions
4. Integration
5. Functional Analysis
 
12:51 AM
If someone is delving into analysis I'd already expect them to know integration
 
@SirCumference measure theory then
 
and chapter 1 would cover integration
with Rigor
 
Then what about the real numbers
 
@SirCumference limits of sequences, continuity, derivatives, series, integrals
 
12:53 AM
@0celouvsky Well that just seems like something that could fill a calculus book
 
OBE
I'm trash...
 
@SirCumference I'd do it in about 60 pages with proofs
maybe 50 pages
 
@OBE Jeez, what's up?
@0celouvsky One chapter is 50-60 pages?
 
@SirCumference yeah?
 
I don't read much
 
12:54 AM
there are obviously smaller sections
 
This is probably why
 
I might make the type smaller...
 
I'd recommend writing a calc book first, then an analysis book
 
OBE
@SirCumference I'm just trash okay lol
 
I refuse to write a trash calculus book
@OBE then you don't need to tell us that.
 
12:54 AM
Why is everything trash...? :(
 
maybe it's better to do just a little functional analysis and then cram a PDE or two in at the end
 
OBE
@0celouvsky how do I stop being trash, then?
 
Well, ya gotta remember that the people who'll read it have probably used calc enough
Maybe review some of the essentials, but not too much
 
OBE
I need to get out of the trash seriously.
 
@SirCumference I think your understanding of my chapter 1 is very different than mine
@OBE I don't know what that means.
 
12:57 AM
^
 
OBE
what?
 
"get out of the trash"?
 
OBE
well that's where trash is right?
 
if you're in a garbage bin then just get out
did you fall in?
 
stop using these weird metaphors
 
12:58 AM
I don't get it
 
OBE
it's a metaphor
and it's to depict that I'm bad at everything
 
...you gonna tell us what's up or...?
 
OBE
and I want to stop being bad at everything
how do I do that
 
@OBE Start by being specific
Name something you're bad at
 
OBE
I can't name everything...
 
12:59 AM
Name one thing you're bad at
 
christ
 
OBE
analysis
 
@OBE Read 0celo's new book
 
take a class
it's hard to get gud at analysis w/o a class
 
Meet with the professor
 
OBE
1:01 AM
that's only one thing...
 
Ok, next one
To solve your problems you need to address them individually
However long that takes
 
OBE
I'm bad at everything I want to be good at.
 
@0celouvsky Analysis is hard
 
OBE
basically
 
@OBE God be specific
 
1:02 AM
analysis is easy if you have a skinny professor
my prof was a skinny Japanese guy
 
Is it academic?
 
OBE
@SirCumference yes...
 
@OBE Go to the professors
 
OBE
I don't like to
I have to do it myself
 
@OBE What's going on mate?
 
1:02 AM
Enjoy it
You can learn a ton and have some really meaningful conversations
They enjoy talking to interested students
 
OBE
No
I don't want any profs to know I'm trash or not.
 
@OBE Some of the people here are professors...
 
@BernardoMeurer rebecca says you need to go to bed
 
@OBE Jesus, the point of college is to learn. You're wasting your money if you refuse to make the effort.
At least try to meet with them
 
@0celouvsky I will sleep once I fix her bug, thank you very much
 
1:04 AM
aha, very good
 
@OBE Can you please explain me what's up?
 
so she's not doing something obviously wrong?
seems like a simple int --> string conversion, i don't see what the big deal is
 
OBE
@BernardoMeurer It's pretty clear. I'm bad at everything I want to be good at i.e. advanced science/math.
and I need to get good fast but idk how
 
T A K E C L A S S E S
 
OBE
I want to do it by myself.
and there are no classes right now
 
1:06 AM
@OBE I kind of suck at everything too
Ask @0celouvsky
I suck badly at maths
and I need it for my course
You just gotta hang in there and go through the shit
 
@OBE Dude, I sucked at astronomy in the first semester, even when I loved it in high school
 
You'll learn it
 
I met with the prof and learned a ton
Also had really interesting conversations with him
Now my favorite classes are the tough astronomy courses, since I can learn so much in a short time
 
OBE
@BernardoMeurer Yes exactly
@0celouvsky the problem is I lost the discipline I had when I first met you like 2 years ago.
and now everything I even used to know is fading away and nothing is being added
 
I disagree with @BernardoMeurer a bit. Make sure you understand the information well before you discard it.
Don't just try to "get through the shit", make an effort to be prepared for future classes
 
OBE
1:09 AM
It's not classes lol
 
@SirCumference I followed with "you'll learn it" :/
 
OBE
It's my own learning
 
@BernardoMeurer Oh. Crud.
 
I'm just saying he won't be good at it at first
 
@OBE Then chill
 
OBE
1:10 AM
no because I love learning stuff.
 
As do I. But it might be healthy to take a break and relax, even if you're not learning.
 
OBE
I've been taking a break for like a year
I want to get back into it like I was before
 
why?
 
And hell, if it's something that you are learning on your own, then go to a gosh darn professor
They're not going to judge you for struggling at something you're teaching yourself
They wouldn't judge you regardless
 
OBE
I am to judge because I wasn't like this before
@0celouvsky why to what?
 
1:11 AM
Don't judge, just make progress
 
OBE
yes that's what I'm asking help for
 
You're just avoiding progress if you refuse to go to a prof
 
OBE
DUDE LOL
I don't want a prof because I have books
and I used to be good at reading books by myself
 
@OBE Then why are you struggling?
 
OBE
I'm not struggling
 
1:12 AM
Wait what
I thought you said you were bad at analysis
 
OBE
I'm bad at analysis because I did not study it.
 
@OBE Then see a tutor
 
OBE
............
 
Or ask a friend of yours who likes math to help
 
OBE
you're not helping.
let me clarify
I'm bad at analysis because I am not learning it.
 
1:15 AM
oh.
 
OBE
I am not in an analysis class and I don't need a tutor. and I hate being taught unless I'm asking for clarification.
 
@OBE Then what's your problem?
 
OBE
I want to learn analysis :'(
 
1:16 AM
@OBE Okay, get a book and a bunch of problems, go work it out
 
OBE
yes.
 
I think you're arrogant and don't see the value in having good classes and a good professor
I like you, but your attitude on this annoys me
 
@BernardoMeurer This
 
You go to a great school, and pay for it, use it. Go sit down in class and be bored, maybe you learn something
 
OBE
sorry I think I made this unclear. there are no analysis classes I can take right now because analysis is offered in 3rd year and it's in the fall.
 
1:18 AM
Every Professor you do not talk to or interact as an opportunity you miss
@OBE I understand that, but you have this general attitude of not wanting to attend class, or at least you give that impression
 
OBE
yes you're right
I never attend class
 
@OBE ???
You're paying for college and never attending class?!
 
OBE
yep
 
The hell
@OBE Dude, you need to help yourself before we can help you
 
OBE
no.
help me help myself
 
1:20 AM
Attend classes, jesus.
 
OBE
there are no classes...
 
You'll fail otherwise
 
OBE
all the advanced classes start in the fall
and end now.
 
I give up, someone else do this
 
OBE
what?
you're telling me to attend class and I'm saying there are no classes to attend right now.
what am I supposed to do?
 
1:23 AM
@BernardoMeurer reb is getting ready to send you the code
although she's mad you didn't go to bed
 
@OBE You are telling me UToronto has no classes currently?
 
@OBE lol
 
@0celouvsky Tell her to shoot it
 
she just did
@SirCumference I already did
 
OBE
@BernardoMeurer yes. classes go from sept-april
 
1:25 AM
strange af
 
OBE
not sure why this is strange to you
does your uni offer analysis in the summer?
?
 
@OBE does uToronto really only offer analysis in Fall term?
 
OBE
it goes from fall-spring yes.
 
asking because I'm a student there (curious) interesting
 
OBE
oh really?
mat357 is not offered in the summer
which is what I want to take
 
1:28 AM
@OBE they offer many advanced classes
Not analysis, no
But complex analysis, systems of ODE, geometry and others
 
OBE
Why do you keep doing that lol
 
Yeah 57 series is never in summer @OBE
sorry -- i suck too
 
OBE
@quanticbolt I know that
 
i need to take that too
 
OBE
next year?
 
1:30 AM
don't see any other way
 
OBE
yeah I was going to take it this year but I fucked up in terms of everything so I didn't take any of the classes I wanted
 
kinda in the same boat -- gonna take a 5th year to finish now
 
OBE
oh, well
life sucks
 
why do you need to take analysis @quanticbolt
are you not a physics major?
 
math and physics double major -- arts & sci faculty forces you to double major or take specialist
 
1:51 AM
so took math+physics specialist
 
@quanticbolt ic
If you need help with analysis let me know
 
sup
 
@0celouvsky thanks :)
 
@BalarkaSen the cayley transform
 
the hell is that
 
2:07 AM
@BalarkaSen for $H$ a closed symmetric operator on a Hilbert space, $C(H)=(H-i)(H+i)^{-1}$
it's always continuous and is useful for spectral theory
 
if you say so
analysis is too hard
 
@0celouvsky (A) That hasn't been true for years (but was for a long time), and (B) part of the reason for that is that "Converting an integer to a string" represent the operation in the wrong way for C++.
 
@BalarkaSen Is a one-sided inverse sufficient for the existence of an inverse for infinite-dimensional linear ops?
 
@Slereah rofl
 
The right way to understand the operation in c++ is "obtain a string containing a textual representation of the int".
 
2:14 AM
@0celouvsky vOv
Think about the left (or right) shift operator I guess.
 
@BalarkaSen ooo
Suppose $T$ is invertible, and $AT=1.$ Is $A$ necessarily $T^{-1}$?
 
vzn
@BenNiehoff your nomination for guest chat spkr has now been 2ndd by @skullpetrol, what would it take to convince you? =D physics.meta.stackexchange.com/questions/7783/… ... plz consider it/ let me know; otherwise may have to resort to more extreme measures :P
 
I am turning to youtube for some knowledge about string compactification
One of my dual monitors is this chat , the other is a lecture
fun times
 
@BalarkaSen Oh :)
$AT=1\implies ATT^{-1}=T^{-1}$
 
@0celouvsky Compose with $T^{-1}$ both sides
 
2:21 AM
@0celouvsky can we talk a bit about string compactification?
 
@Cows I don't know why you think I'm a physicist, I'm not
 
Great minds think alike. Greater minds answer 4 seconds late.
 
I like Riemannian manifolds, Lorentzian manifolds, and analysis
 
@0celouvsky oh lolz hehe
 
man, i need to sleep and it's already morning
 
2:23 AM
@BalarkaSen no school?
 
Nope.
 
Yosida needs to be rewritten if only so he can use $f:X\to Y$ notation. I have no clue what these things are defined on
I'm assuming his unitary operators are defined on the whole space, but who knows!
 
2:44 AM
@DanielSank Just about the only choice that would make it worse is tcl. Or would it?
 
@dmckee What's tcl?
 
3:02 AM
Usually seen in the company of tk. Especially on the cover of books. As in tcl/tk. It was popular in the early and mid 1990 and made the easy things easy, the moderately difficult things slightly more than moderately difficult and really complicated things collapse in a tangle of unresolvable questions about which level of indirection would be used to evaluate the value of this variable in that context.
The syntax is less horrible than perl, but actually programming in it is worse.
 
So...
I shouldn't use it.
Check.
 
user228700
@BalarkaSen Whoa.
 
3:21 AM
Also nice science art collaborations here. The minds of artists sure helps scientists in tackling these less quantitative things
and the artists can then incoporate these effects into their future artworks
 
@Secret do you want a topology problem to think about?
 
Sure
 
@Secret Suppose you have a metric space $X$ with two different metrics, $d_1$ and $d_2$. Suppose $d_1$ and $d_2$ have the same convergent sequences. Are the topologies induced by these metrics equal?
 
3:37 AM
I think I need more information here, so by same convergent sequences, you mean given the set $S_i$ of all possible sequences in $X$ where $i=1,2$, then $S_1=S_2$ and that for every matching pair taken from each set, (e.g. any sequences $u_1 \in S_1$ and its corresponding pair $u_2 \in S_2$), they converge to the same limit?
 
@Secret Let $(x_n)\subset X$. Then $(x_n)$ converges wrt. $d_1$ iff it converges wrt. $d_2$ and $\lim_{d_1}x_n=\lim_{d_2}x_n$.
 
3:55 AM
I got a gold badge on Stack Overflow o_O
 
Congrats?
 
(It seems my metric knowledge is still rather preliminary, result in so much background googling...) Since $d_1$ and $d_2$ has the same set of convergent sequences and these have the same limit, and all metric spaces are first countable, therefore $d_1=d_2$. Therefore their open balls are the same and therefore they must induce the same topology
6
Q: Question on problem: Equivalence of two metrics $\iff$ same convergent sequences

MaxCommunity! I'm working on the following problem: Let $X$ be a non-empty set and $d_1,d_2$ metrics on X. Show that the following conditions are equivalent: 1) $d_1$ and $d_2$ are equivalent, i.e. $\forall x \in X, \epsilon < 0 \exists \delta >0: U_\delta^1 \subset U_\epsilon^2 \land U_\delta^2 ...

 
@Secret whoa, $d_1\ne d_2$
 
@dmckee out of curiosity what was your first programming language.
 
thinking about kaluza klein theory
 
4:02 AM
But if the set of convergence sequences under the two metric coincide (and they have the same limits), how could $d_1$ and $d_2$ be different?
 
@Secret Any two norms on $\Bbb R^n$ give the same convergent sequences
they are surely not all equal
 
@skullpetrol AppleSoft basic, I suppose. (A port of MicroSoft's basic to the Apple 2 platform).
I also wrote assembly and eventually pascal on the apple ][+.
 
I wouldn't expect someone like you to be an apple person
@Secret I will write a proof shortly, just gotta finish this page.
 
Whoa, old school @dmckee :-)
 
@skullpetrol Just unexpected
I haven't done anything there in quite some time.
 
4:08 AM
Ahhhh
Banach you sly fox
 
Pleasantly surprised then? @DanielSank
 
@Secret still with me?
 
Crap! i might have made some wrong statements earlier today
 
oh no! people probably made fun of you
 
6 AM and still can't sleep
 
4:16 AM
yeah I know . . . .
lol
 
I'd better just stay up all day
 
Good thing I am reading up now
 
@0celouvsky Yes, I am
 
@Secret We want to show that if $U\subset X$ is open in $d_1$, then it is open in $d_2$. But it's enough to show that $C=X-U$ is closed for both.
We know it's closed for $d_1$ by definition of closed.
Now $C$ being closed means it contains all of its limit points. In a metric space, this means that any sequence $\subset C$ that converges in $X$, converges in $C$.
 
WAIT
I think I understand a thing
Maybe
 
4:19 AM
You should be able to complete the argument from there @Secret
 
Plan for an afternoon nap? @Slereah
 
@Slereah shoot
 
Quasiregular singularities are "$R_{abcd}$ OK in parallel frame" because the Riemann tensor can be easily extended along a geodesic curve in that direction, but that might not mesh together along different geodesic curves
Since they are locally extendible but not globally
 
where is this from?
 
Various places
Mostly the Ellis paper on singularities
And the Schmidt paper
 
4:21 AM
have you been reading Jost?
 
I have not
 
So if $C$ is closed for $d_1$ and $d_2$, their limit points coincides, so are their convergent sequences despite $d_1\neq d_2$
 
Since quasiregular singularities basically do a discontinuity of the direction of tangent vectors
 
@Secret yes, basically
 
Also I think Schmidt and HE have different definition
Schmidt uses the frame bundle and HE the orthonormal frame bundle
though I think it's equivalent
 
4:25 AM
you can check that the following two norms on $\Bbb R^2$ have the same convergent sequences:
 
Although I'm not sure because he calls it the "linear frame bundle"
 
$||(x,y)||_1=|x|+|y|$
$||(x,y)||_2=\sqrt{x^2+y^2}$.
 
"It is a well known result of modern differential geometry that a connection in a manifold gives a natural parallelization of the bundle of frames"
 
comp is for 2pi r so we have circle stuff and can do fourier modes
 
is it a well known result???
Is it because you can just propagate it along geodesics
 
4:28 AM
Yes
 
And I guess that works because this is indeed the frame bundle and not the orthonormal one
 
They're just talking about parallel transport
 
So no worries about orientation
 
@Slereah yup. For that you need a metric connection.
 
Errr, can you parallelize a non-orientable manifold with a metric connection?
I thought non-orientable manifolds were not parallelizable
at least for the ofb
 
4:30 AM
They're just talking about a notion of "parallel frames"
Not a trivial tangent bundle
Trivial tangent bundle implies orientable
 
what's the difference between that notion and the parallel manifold where the tangent bundle is trivial
 
@0celouvsky If the open set is the interior of a unit square, it seems naively that can be a result of countable union of open 2-balls. Similarly a unit 2-ball can be made with a countable union of open sets that are interior of squares. The topologies by these two metrics seemed to contain each other, therefore the topologies are equivalent?
 
guys we need to enable latex in the chat, and maybe enable voice too
are there any mods here now
 
@Secret yep
 
I see
 
4:34 AM
This is an instance of a very deep (maybe not deep) theorem about finite dimensional topological vector spaces
For each dimension, there is only one (up to homeomorphism)
 
So in general, $L^p$ for all $p$ induces the same topology?
 
the saddest thing about not sleeping during the night is that the shops only open at 8
Can't buy food
 
On R^n, yeah
@Secret we can go through the proof tomorrow
 
ok
 
For norms, not general spaces
All norms are equivalent in a sense.
 
4:37 AM
"A singularity of $V^4$ is a point of the b-boundary $\dot V^4$ which is contained in the b-boundary of every extension of $V^4$"
 
I don't want to sound too french but I'm waiting for the shops to open to buy some baguettes
(also some redbull)
I think I need to delve back into bundles to understand this paper fully
I need a reminder about vertical and horizontal bundles
 
Do you want something for physicists or smart people
 
Physicists
I'm a big old dumdum
Using this
 
I see. Night.
 
4:44 AM
Although I must say
Very poor practice to use $\phi$ and $\varphi$ for two different things
Slightly confusing
 

« first day (2339 days earlier)      last day (2584 days later) »