« first day (1794 days earlier)      last day (3218 days later) » 

12:00 AM
@skillpatrol Ok... :-)
 
Hi. How can I find the Stirling transform of $(k-1)!$ i.e. $\displaystyle\sum_{k=1}^{n}\left(\frac{1}{k!}\sum_{j=0}^{k}(-1)^{k-j}\binom{k}{‌​j}j^n(k-1)!\right)$ ?
 
What is your field? @skillpatrol
 
@anon: I didn't actually read your attempted proof. I'll take a look in a couple hours.
 
12:15 AM
Yo @Semiclassical.
 
hey @antonio
how're things?
 
Slow and painful, as usual.
You?
 
avoiding writing, as usual
 
Hello@Alec
 
12:18 AM
working on anything interesting lately?
 
@Semiclassical trying to learn probability. I didn't pay attention when they taught product measures in school so I'm doing a lot of "nod and smile like you know what's going on"
 
heh.
i went down the physics phd route rather than the math route, so i never had a course in measure theory :/
though you pick up some things along the way
 
It's a strange beast. Lots of things are easier in it, as long as you know how to guess the answer.
 
Hey @Rememberme
Look what works:
You can see these images if you click on any book
 
12:34 AM
Nice...@AlecTeal
 
Use it
Same applies to you @SohamChowdhury
I want to improve this, It's really helped me
 
Yes I will...okay after coming from school today I will use @Alec
@Alec....think about this.
Is the product topology the most biggest (finest) topology to a product (excluding the box topology)
 
No @Rememberme
The finest is ALWAYS the power-set, Which is rarely useful as then EVERYTHING is continuous
Also, my progress through your book:
 
hey guys
seems good book @AlecTeal
are you reading it ?
 
Evidently.
 
12:44 AM
Hey @Semiclassical
I have a question in mechanics ?
 
@AlecTeal I mean when I consider only the interesting topologies (not theppwer set one
 
@Rememberme how do you define "the largest interesting topology"
 
How are you measuring time @AlecTeal on your graphs?
 
okay
@AntonioVargas thanks
 
12:47 AM
;)
 
@skillpatrol it's not included, but I will add dates later on.
 
By interesting I mean the topologies which we use frequently and are more useful than the others @AlecTeal
 
... @Rememberme the quotient topology has the property that it is the SMALLEST topology such that the property it has is true
 
Sorry @Karim, it was a bad joke
 
I know :P
 
12:49 AM
what kind of mechanics question?
 
Oh I haven't done quotient yet.... But is quotient topology on products @AlecTeal
 
equation 41
how come didn't we use parrallel axis theorem
 
.... no
 
for $I_1$
 
Jump forward and do quotients, universal properties make more sense
 
12:50 AM
I want topologies on products @AlecTeal
 
we know $I_x = I_y = \frac{1}{4}ma^2$ for non shifted axis
 
why would you use parallel axis theorem for axis one? it goes through the center of mass of both parts of that object
 
@Rememberme there's only 2
 
I don't understand then why did he use parrallel axis theorem for axis 2
if we go back to definition of moment of intertia it is I = $\int R^2 dm$ where R is the perpindicular distance to the axis of rotation.
 
Only 2??
Okay I am off to school
 
12:54 AM
hm I am confused
been 2 weeks since I did mechanics was taking a break from physics and doing math lol
 
i'm not sure what you're getting at. that definition is fine for computing the moment of inertia for the rod. but it's hardly convenient for computing moments of inertia of the circle (besides the case when the axis goes through its center perpendicular)
 
1 sec I maybe forgot some stuff I will just review the section about moment of inertia
because what is confusing me
how come we used parrallel axis theorem for axis $I_2$ and not axis $I_1$
 
well, you could use it for axis 1. it just doesn't give you any information---what would the distance between the two relevant axes be?
 
oh I see
 
or, to frame it a little differently: the whole point of the parallel axis theorem is that, if you want to figure out a moment of inertia relative to a given axis $A$, it's enough to know about the moment of inertia relative to another parallel axis $A'$.
 
1:00 AM
ok now I see it because axis 1 passes through the center of mass
 
right
 
but what about axis 2 it also passes through the center of mass
 
it passes through the center of mass of the two-object system, but not each object individually
 
I see
 
note, though, that if you moved your axis to, say, the bottom of the handle
 
1:02 AM
okay now it makes sense because you see the the circle is shifted upwards by a bit
 
then you'd either need to 1) compute the moments of inertia of the two components again, relative to that axis
 
that is why it we must use parrallel axis theorem for the x-axis I guess
 
2) or you could just take the answer you get for axis 2, and use the parallel axis theorem to turn that into the answer for the axis being at the bottom of the handle
 
yeah makes sense
thank you @Semiclassical
 
no problem
 
1:04 AM
because I never used parrallel axis theorem for a composite body
but yeah it makes sense now
 
for a good practice problem in moments of inertia: take a sphere of known mass and volume, and drill a hole through it parallel to the $z$-axis. then try to figure out the moment of inertia relative to the $z$-axis.
if that's too complicated, use a flat disk instead of a sphere.
 
okay
I want to also review the section of moment of inertia I have good problem solving skills in it but I think my understanding is not fully complete
 
a good plan
 
have you read your mechanics class from fowles and cassidy ?
I am doing my directed reading class from it
I don't think this book is fully complete though
 
no. for my undergrad we used marion and thornton, and for grad school we used goldstein
 
1:12 AM
ok I think I am gonna also use marion and thornton as something with me like more refrence I guess I got 90 in the midterm,because of algebra mistake but final I would like to crush it so it would be nice if I understand stuff inside out.
cool thing libgen is back yay :D
 
1:36 AM
Why is it that everyone knows who Nirvana was but not Sonic Youth? ;_;
(I know that's not math related. I just wanted to vent.)
 
Fargle!
 
@Ted!
 
How're ya doin'?
Gotta love unscrambling physicists' or classical tensor notation. $\sum t^in_j\nabla_it^j$ is an awfully complicated way of writing $T'\cdot N$ :P
 
Alright. Upset on an unimportant level (as I whined about above), but other than that, quite fine. Yourself?
 
it's a little silly in that case, yeah
 
1:40 AM
(And yeah. Every single tensor calc book or resource I've found has had mildly different notation. I suspect I'm just not looking at the right books.)
 
though, something looks weird there
 
No, tensor analysis serves a purpose, but for the most part we should move on from the early 20th century and use better notation.
Can't be weird, @Semiclassic: Summation convention works out just right.
 
no, that's fine. but i'm not seeing the correspondence with your way of writing it
 
That said, I don't object to the notation with differential forms, and most physicists and mathematicians do ... Fools.
 
snerk
 
1:41 AM
yeah and cassidy book is so stupid
 
Oh, we're differentiating $T$ in its own direction, so derivative with respect to arclength, @Semiclassic
 
he writes a tensor product and a vector as dot product
when he should have write inner product
 
physicists use it without realizing it in some places (thermodynamics, for example). in other places it'd be a lot better if they did (electromagnetism)
 
Huh? @Karim
use what, @Semiclassic?
 
for Example L = $I_{tensor} \dot w$
 
1:43 AM
differential forms
 
srry
L = $I_{tensor} . w$
 
Yes, Maxwell's equations are so nice: $d\omega = d^*\omega = 0$ :P
 
people do use it for electromagnetism, i mean, but not integrated into teaching it
 
he should write L = $<I_{tensor},w>$
 
no, not inner product, @Karim
 
1:43 AM
because there is no such thing as dot product between matrix and a vector
 
well, that's a bit too cheap since you're doing the source-free version
 
I can fix it, @Semiclassic :P
 
what do you mean @TedShifrin
 
i know, i know :)
 
@Semiclassical I wanted to see if my understanding of statically balanced and dynamically balanced is correct
 
1:45 AM
If you think of $I$ as a linear map, you apply it to the vector. But it's really a bilinear form, not a linear map, and then you have to turn it into a linear map to feed it a vector. This is also why physicists distinguish between vectors and pseudovectors.
 
not sure i'll be able to help there, i'm not sure i remember the terminology
 
I see
 
the whole vector/pseudo-vector point is one which i haven't had a whole lot of contact with myself. but that's largely due to my avoiding a particle physics route
 
A device is statically balanced if the center of mass lies on the axis of rotation so if it that is not the case then there will be gravity acting on it so it will cause outward force if it is statically balanced
 
and with what field theory i had, i did work with it to a certain degree
 
1:48 AM
I see
I want to go particale and mathematical physics any advice for me @Semiclassical on the math part ?
 
@Semiclassic, pseudovector (like a cross product) is something that's really a 2-vector and then you use $\Lambda^2\Bbb R^3\cong \Bbb R^3$ to think of it as a vector.
 
which math you see the most there ?
 
i'm confused by your last statement. should that last clause be there?
 
I assume that was directed to Karim ...
 
1:49 AM
yeah
yeah to your question @Semiclassical
 
what's confusing to me is that "if [a device is not statically balanced] then there will be gravity acting on it so it will cause outward force if it is statically balanced"
that's how i read it, anyways
 
isn't the definition of statically balanced that there is no net force acting?
 
@TedShifrin: yeah, i just never had to use pseudo-vector stuff that much.
 
It was never mentioned in the physics courses I took, @Semiclassic, but it comes up in our junior/senior level E&M class, I'm told by my friend who teaches it.
 
ok let us say that a device is not statically balanced then that means center of mass doesn't lie on the axis of rotation what movements will happen on the object ? @Semiclassical
 
1:53 AM
i didn't see it in undergrad physics. did in grad, though
here's the dfn Wikipedia gives: "Static balance occurs when the centre of gravity of an object is on the axis of rotation. The object can therefore remain stationary, with the axis horizontal, without the application of any braking force. It has no tendency to rotate due to the force of gravity."
 
What does "the axis of rotation" mean?
It suggests that if you weren't in balance, you'd instantaneously be rotating about some axis (which could vary)?
Seems to sort of beg the question.
 
but weird
I have then a question
 
there's a line after that: " This is seen in bike wheels where the reflective plate is plated opposite the valve to distribute the centre of mass to the centre of the wheel."
 
I have read that but then I went down after that to read dynamic balancing which seems to cause the same effects as static balancing
 
Oh, I'd never noticed that. I still don't like the way it's written.
 
1:55 AM
is that correct?
 
i'll have to look at the dynamic balancing dfn
 
Tire shops always led me to believe dynamic balancing was more accurate. :P
So they could charge more.
 
static really comes down to: "will it spontaneously start to turn if no braking force is present"
 
because dynamic balancing mathematically means the angular momentum vector L will lie parrallel to angular velcoity vector
velocity
I mean you could have dynamic balancing while not having static balance and vice versa
 
...shouldn't that always be the case?
 
1:57 AM
@Semiclassical I prefer this statement.
 
but it seems if you still had static balance and you didn't have dynamic balance then object will still vibrate
 
I'll admit I'm not the best at mechanics, of course, but at least in my limited experience, $L$ and $\omega$ have always been parallel whenever I've dealt with them.
 
@TedShifrin which statement?
 
The one I linked to ... yours.
 
axis of rotation is the axis at which the object rotates @TedShifrin
 
1:59 AM
ohhh
 
But they're defining static stability in terms of an axis of rotation, which won't exist.
 
oh
sometimes I hate the way physicists define things
 
Me too :D
 
it is not very precise
 
I'll be back later.
 
2:00 AM
and leads to alot of confusion sometimes
@Fargle w and L are parrallel iff the axis of rotation is Principle axis
 
@KarimMansour I see. Like I said, limited experience. I never even touched moment of inertia as a tensor, haha.
 
yeah :D
 
i forget, but i think a spinning top (with its precession) would be an example of dynamic imbalance
though that's a complicated example
 
like what would happen if it is not dynamically balanced
will it give same physical effect as statically balanced as it moves ?
 
 
1 hour later…
3:34 AM
@TedShifrin I haven't seen the Hessian used in that quadratic manner before as in lecture 48. That's really cool! I'm not used to the quadratic form approach yet, but I am starting to get the hang of it. Nifty stuff!
 
Bib
3:58 AM
if two groups are isomorphic, is every homomorphism an isomorphism?
oops
I mean rings
 
@Bib No not necessarily. I'll try to think of a counter example that isn't the $0$ morphism.
 
Bib
well $0$ doesn't work right? because 1 always maps to 1
@Eoin .
 
Depends on your definition. One example I can think of is $\mathbb{Q}[\sqrt{2}]$ to itself mapping $\sqrt{2}\mapsto-\sqrt{2}$
 
Bib
oh shoot
 
@Bib Wait that's an isomorphism, let me think harder.
Well, okay here's one:

Take $\mathbb{Z}\oplus \mathbb{Z}$ to itself mapping the first component to the diagonal $\mathbb{Z}(1,1)$ or, $(a,b)\mapsto (a,a)$.
That's not even surjective so it can't be an isomorphism
 
Bib
4:40 AM
@Eoin I'm not sure I understand. Are you describing a map $\mathbb{Z} \oplus \mathbb{Z} \to \mathbb{Z} \oplus \mathbb{Z}$?
 
5:03 AM
@Bib Yeah. It's a homomorphism of two isomorphic (identical even) rings but not an isomorphism
 
Bib
oh, I see what you mean now
thank you! for dispelling my concerns
 
@anon: I edited my answer to clarify what's wrong with your attempted proof. It's (unless I missed something) correct. The problem is just that $\text{Homeo}^+(\mathbb R^2)$ should not be simply connected!
 
5:18 AM
@BalarkaSen right, that's what i got too....almost. i added the cone maps, i didnt subtract
 
Did Jasper delete his account again? :-/
 
Jun 21 at 11:33, by Jasper
I intend to keep this account for life, LOL.
@skillpatrol
 
Thanks for the info @PaulPlummer :(
 
@TedShifrin In lecture 50, you mention the defintion that two vectors are parallel when you can obtain the other via scalar multiplication. In particular, $\vec{\nabla}f = \lambda \vec{\nabla} g$. I don't quite follow. Suppose the vectors in question differ by an affine transformation? They can still be parallel but they can't be equated by scalar multiplication...how does your definition of parallel account for this?
 
Huy
5:58 AM
@TedShifrin: I just did it by slicing horizontally instead of vertically and it works. But the calculation is a lot more complicated because then I need to know the parabolas along the triangle. I'll try another way in a bit.
 
@StanShunpike Because it is standard to view vectors as equivalence classes of "arrow thingies" in affine space, where two are equivalent iff they have the same length and direction (when defined).
Thus, the translation component of any affine transformation has no effect on vectors
 
6:14 AM
@KarlKronenfeld @TedShifrin That makes sense! Super. Thanks.
 
@Bib Polynomial rings provide a class of easy examples. E.g. $A[x]\to A\subset A[x]$, given by $p(x)\mapsto p(0)$.
 
 
2 hours later…
8:19 AM
@iwriteonbananas it doesn't matter. the sign depends on what the maps are in your mayer-vietoris sequence
 
Hey, Balarka.
I feel nice.
 
hello
what're you upto?
 
8:40 AM
@BalarkaSen, why do we prove that well ordering implies principle of induction for $\mathbb N$, but in Peano Axioms principle of induction is already assumed?
 
@BalarkaSen just got back. will eat lunch and study topology. later!
 
@Silent Because there is not enough power in Peano to speak of well-ordering (as far as I recall)
 
@BalarkaSen, foe example, see this
 
I am not the right person to ask.
 
@BalarkaSen, ok
 
8:42 AM
@Silent Also, the concepts work in much more generality than Peano allows (see for example my blog post math.blogoverflow.com/2015/03/10/when-can-we-do-induction)
 
@TobiasKildetoft, thank you! :)
 
@TobiasKildetoft I thought well-ordering can be derived from induction?
 
@BalarkaSen Depends on what you mean by "induction"
 
@TobiasKildetoft, i mean by induction A subset of the natural numbers with 0 in it, such that it has the successor of every number in it, is the same set as the natural numbers.
 
@Silent For the natural numbers, to say that induction and well-ordering are equivalent is a bit silly, as they are both true statements
and in that formulation, it is no longer true for arbitrarily ordered sets
 
8:46 AM
@TobiasKildetoft, ok
 
@BalarkaSen You might also be interested to read that blog post. I go into detail of when that equivalence holds
 
by the way thank you very much for taking me to math.se blogs, never knew that they existed@TobiasKildetoft
 
@Silent Yeah, I don't think many people are aware of them (and they do not update very frequently either)
 
ok
 
For example, most of the comments on my post there which just say something like "nice post" are really just there because the name of the commenter is a link to a website hoping to boost their search rankings
 
9:24 AM
ok
does someone know some good books about modular arithmetic
?
 
 
1 hour later…
10:34 AM
@lopata any good elementary number theory book should do the trick.
 
hi again @Soham
 
hi, B. I'll be getting to work now.
 
what're you doing?
 
Homemade yogurt is awesome.
^ I think you'll understand from that
 
huh?
 
10:36 AM
Doi khachhi. :P
Tietze for metric spaces, then.
 
ok. hey, now you're doing Tietze?
are you sure you're doing all the exercises along the way?
 
I always do some, and then the rest when I finish the chapter.
and Tietze for metric spaces will conclude the chapter.
 
which chapter are you on right now?
 
the second.
 
I don't recall you ever got back to me about the sup-norm metric on $\mathcal{C}([0, 1], \Bbb R)$
 
10:37 AM
I didn't.
 
it's in the first chapter of Simmons.
 
remind me. $\sup ||f-g||_{[0,1]}$?
or something similar.
essentially the difference of sups of f and g on [0,1]?
 
May 27 at 11:16, by Balarka Sen
@Soham $\mathcal{C}([0, 1])$ be the set of all continuous functions from $[0, 1]$ to $\Bbb R$. Prove that this a metric space equipped with $d(f, g) = ||f - g||$, where $||f|| = \sup_{x \in [0, 1]}\{|f(x)|\} < \infty$ (prove that it even make sense).
 
ah, yeah.
 
We settled that we'd talk about the p-adic metric after you do this, but you never did this one :P
 
10:40 AM
I'll try. are you interested in combinatorics / Ramsey theory / etc.?
 
[p-adics are cool and deep. so you'd better do this quick :)]
 
[ah, I can guess :)]
 
@SohamChowdhury I don't know a lot of combinatorics. I am only vaguely familiar with combinatorial number theory, and some Ramsey theory I picked up from lectures of Kaj.
 
Cool fact: Any n-coloring of the complete graph on $\lfloor en!\rfloor+1$ vertices forces a monochromatic triangle.
 
Nothing serious, though.
 
10:41 AM
The proof is nice.
 
@SohamChowdhury hmm. interesting!
 
Among other things, this trivializes the 'six people at a party' problem.
 
that's the kind of thing someone I know of is working on right now, but with infinite graphs.
 
ah, nice.
okay, I should get started now. I've been away from proper work for almost two days (!).
 
@Soham okay. make sure you do the problem above.
and then ping me/mail me : I'll tell you about p-adics.
 
10:44 AM
won't it require a bunch of analysis?
I'm scared.
 
nah.
you'll find it fun.
you know the amount of algebra required.
 
ok.
what does the $<\infty$ at the end mean?
oh.
every cont function on [0,1] is bounded, yeah.
 
it's finite. (you have to prove that)
nods
 
I have to prove that last statement?
 
I'd recommend you to prove it.
they prove that every finite coloring on $\Bbb E^2$ has a monochromatic triangle of unit area
 
10:46 AM
I hate pdfs with, uh, descriptive titles.
oh, cool.
 
wacky, isn't it?
 
yeah.
especially the "theorem in additive NT".
 
yes, yes that's a classic problem in additive NT
i.e., finding the length of A + B and AB
 
how do you know all these people?
 
Adhikari? He is a visiting faculty in Belur.
The only number theorist in there, in fact :)
 
10:52 AM
tsk, tsk faculty refers to the entire set of people. "faculty member" :)
oh. what kind?
 
@SohamChowdhury OK, mr. correct-everything.
:P
 
haha, don't mind me.
 
@SohamChowdhury combinatorial, right now.
 
hmm, nice.
I'll work on your problem, then.
 
it's a pity your school won't let you come to the uni.
you'd have fun.
@SohamChowdhury sure.
 

« first day (1794 days earlier)      last day (3218 days later) »