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

00:06
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
00:27
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
00:45
@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?
00:48
@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
00:51
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
00:53
@0celouvsky Well that just seems like something that could fill a calculus book
OBE
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
00:54
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
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.
00:54
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
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
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.
OBE
OBE
what?
"get out of the trash"?
OBE
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
00:58
I don't get it
OBE
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
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
OBE
I can't name everything...
00:59
Name one thing you're bad at
christ
OBE
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
OBE
01:01
that's only one thing...
Ok, next one
To solve your problems you need to address them individually
However long that takes
OBE
OBE
I'm bad at everything I want to be good at.
@0celouvsky Analysis is hard
OBE
OBE
basically
@OBE God be specific
01:02
analysis is easy if you have a skinny professor
my prof was a skinny Japanese guy
Is it academic?
OBE
OBE
@SirCumference yes...
@OBE Go to the professors
OBE
OBE
I don't like to
I have to do it myself
@OBE What's going on mate?
01:02
Enjoy it
You can learn a ton and have some really meaningful conversations
They enjoy talking to interested students
OBE
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
01:04
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
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
OBE
I want to do it by myself.
and there are no classes right now
01:06
@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
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
OBE
01:09
It's not classes lol
@SirCumference I followed with "you'll learn it" :/
OBE
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
OBE
01:10
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
OBE
I've been taking a break for like a year
I want to get back into it like I was before
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
OBE
I am to judge because I wasn't like this before
@0celouvsky why to what?
01:11
Don't judge, just make progress
OBE
OBE
yes that's what I'm asking help for
You're just avoiding progress if you refuse to go to a prof
OBE
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
OBE
I'm not struggling
01:12
Wait what
I thought you said you were bad at analysis
OBE
OBE
I'm bad at analysis because I did not study it.
@OBE Then see a tutor
OBE
OBE
............
Or ask a friend of yours who likes math to help
OBE
OBE
you're not helping.
let me clarify
I'm bad at analysis because I am not learning it.
01:15
oh.
OBE
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
OBE
I want to learn analysis :'(
01:16
@OBE Okay, get a book and a bunch of problems, go work it out
OBE
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
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.
01:18
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
OBE
yes you're right
I never attend class
@OBE ???
You're paying for college and never attending class?!
OBE
OBE
yep
The hell
@OBE Dude, you need to help yourself before we can help you
OBE
OBE
no.
help me help myself
01:20
Attend classes, jesus.
OBE
OBE
there are no classes...
You'll fail otherwise
OBE
OBE
all the advanced classes start in the fall
and end now.
I give up, someone else do this
OBE
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?
01:23
@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
OBE
@BernardoMeurer yes. classes go from sept-april
01:25
strange af
OBE
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
OBE
it goes from fall-spring yes.
asking because I'm a student there (curious) interesting
OBE
OBE
oh really?
mat357 is not offered in the summer
which is what I want to take
01:28
@OBE they offer many advanced classes
Not analysis, no
But complex analysis, systems of ODE, geometry and others
OBE
OBE
Why do you keep doing that lol
Yeah 57 series is never in summer @OBE
sorry -- i suck too
OBE
OBE
@quanticbolt I know that
i need to take that too
OBE
OBE
next year?
01:30
don't see any other way
OBE
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
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
01:51
so took math+physics specialist
@quanticbolt ic
If you need help with analysis let me know
@0celouvsky thanks :)
@BalarkaSen the cayley transform
the hell is that
02:07
@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".
02:14
@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
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
02:21
@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
02:23
@BalarkaSen no school?
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!
02:44
@DanielSank Just about the only choice that would make it worse is tcl. Or would it?
@dmckee What's tcl?
03:02
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.
03:21
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?
03:37
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$.
03:55
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
04:02
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.
04:08
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
04:16
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
04:19
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
04:21
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
04:25
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
04:28
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
04:30
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
04:34
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
For norms, not general spaces
All norms are equivalent in a sense.
04:37
"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
I see. Night.
04:44
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 (2888 days later) »