« first day (2183 days earlier)      last day (2835 days later) » 

12:56 AM
@Semiclassical gooooood evening
 
1:25 AM
@Semiclassical is there a physical reason why Noether's theorem for Hamilonian mechanics depends on the de Rham cohomology of the manifold?
 
1:45 AM
dunno
 
2:05 AM
woke up three hours after i went to bed. yikes.
oh well, guess i can't complain.
 
go back to sleep @BalarkaSen
 
tried. can't.
 
if you're here, you didn't try hard enough
 
@0celo7 I don't have a lot of dreams, but when I do they are terrifying.
 
@BalarkaSen like what
 
2:12 AM
I don't remember a lot of my dreams, but the last one I had was exceptionally vivid. Carriage of dead and decomposed bodies.
 
whew
Maybe you should see someone about that...
that ain't normal
 
I do have serious sleep issues. But whatever, nightmares aren't a big issue.
 
They are probably contributing to your sleep issues
 
let's not jump too easily to long-distance diagnoses
 
Hi @SemiC.
 
2:15 AM
evening
 
@Semiclassical I was going to say brain cancer, but ok
 
lol
 
mini-rant: mathematica pure function syntax is a real pain sometimes
 
I have a major rant
I washed a cup and now it tastes like soap
I feel slightly ill and have a soap taste in my mouth
and no matter how much I wash it, the taste is still there
I have to say, I find it strange when people say they like high school math
And people who liked high school math and decide to do math in college
What is so exciting about high school math?
 
I liked math club in high school enough to be interested in it
but the fact that it came fairly naturally helped
 
2:20 AM
@0celo7 Depends on the syllabus.
What do you have in mind when you say "high-school math?"
 
i'm guessing that the context is American high school math?
 
Yes
And British i guess, which is the same?
 
I have no idea what that entails.
 
Reading a thread on r/math about why people did math
People liking math in AP physics?
...basic calculus?
 
I'd fall into that category, I suppose.
 
2:22 AM
vector addition?
 
but again, math came quite naturally to me. so it was something that was easy for me to say 'yeah, i'll do that'
 
Basic calculus is enjoyable if learnt properly.
 
you're not a math person
 
riight
I did two majors, math and physics
 
@BalarkaSen I liked my first calculus course, but certainly not enough to decide I wanted to do math in college
@Semiclassical oh, well
@BalarkaSen Do you know anything about pulling back a vector bundle by homotopic maps?
 
2:24 AM
Maybe.
They give isomorphic vector bundles, not?
 
Yes
do you know the proof?
 
Not off the top of my head. Give me a minute to think.
 
oh, I want help with understanding a step in this book, you don't need to find a different proof
I'm actually unsure about their definition of "section", when I come to think about it
Because they seem to define a section which is not continuous
 
I guess one just has to look at the transition functions, but anyway, go ahead if you have a question.
 
Hmm, it might be a stupid question
 
2:28 AM
Which step?
 
Lasst paragraph, second sentence
I guess they're just defining the sections on the slice $Y\times\{t_0\}$
They don't say it's a global section
Although...maybe I do have a real question. What does the fibers being Euclidean spaces have to do with extending the section to those open sets (also in the last paragraph)
I think you can just repeat the usual proof for smoothly extending a vector field
 
OK, ok, let me read it. They're doing a weird coordinate free proof - I am more comfortable about thinking of coordinates.
 
I should prove the vector field extension lemma
It should be the same proof as extensions for functions
Just multiply the coordinate components appropriately by bump functions or something
@Semiclassical math major, you're free to help, too
 
Oh, so you're just getting a section of $Isom(f^* E, \pi^* E)$ over $Y \times t_0$ for some $t_0$. Then you extend that for all $t$ near $t_0$.
 
2:35 AM
i'll confess, on this point, i must confess more ignorance than knowledge
 
@BalarkaSen yeah
 
@0celo7 This is continuity of transition functions, me thinks. They are just the identity matrix on that particular slice, so if you perturb it a bit, it's impossible it would change much.
 
It's not a global section, so it's fine that we define it on that slice
The claim that all geodesically convex sets are contractible is clearly false. — studiosus 52 mins ago
Strange comment, considering Gromov, Bott & Tu, Lee, and my proof disagree.
@BalarkaSen Why are they the identity on that slice?
And what do you mean by "perturb"
 
Ops, I misspoke. The bundle Isom(f^*E, pi^*E) is not trivial on Y x t_0... just that it has one single section.
Dunno.
 
Oh, the extension lemma for smooth functions/vector fields uses the definition of smoothness on closed sets
I'm not sure if that section there is smooth in the same sense
 
2:42 AM
I retreat: I don't have a good grasp on vector bundles. It is upto you to figure it out. G'luck.
 
ahhh
Husemoller's proof is even worse
he has a bunch of lemmas and then proves it in one shot
Maybe it's in Walschap
Hirsch?
Yup, it's in Walschap
meh, different method
 
It's in Hatcher, probably.
 
vector bundle does not show up in the index
 
No, I mean, in his other book.
"Vector bundles and K-theory"
 
oh
yeah, it's in there
 
2:49 AM
One day, I'll have to read that book, as well as his notes on spectral sequences. Hatcher's a good guy.
OK, I gotta run.
 
cheerio
@Semiclassical ah, I hate vector bundles
what's something interesting I don't know
 
kww
3:27 AM
is the maximum of the absolute value of the second derivative always smaller than the maximum of the absolute value of the 1st derivative
 
Hmm, I hadn't heard that
On $\Bbb R$?
Or some compact set?
 
 
1 hour later…
4:44 AM
peeks in Anyone by chance know about Banach Lattices?
 
 
1 hour later…
5:46 AM
if we substract a divergent series from itself...will we get zero?
 
ehh
If you define the subtraction as pointwise subtraction of the partial sums, yes
otherwise, you don't have a very well defined subtraction to do
 
What is the name for this series: $1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + ... $?
 
6:05 AM
harmonic
very famous divergente series
 
6:32 AM
@deostroll $1+\frac12+\frac13+\dots+\frac1n\sim\log(n)+\gamma$
 
Meanwhile I'm still bashing my head trying to come up with a $C^1([0,1])$ function that serves as the sup of two functions in the space
 
since the max function loses the derivative, and the softmax isn't unique
 
Is there any reason to believe that $C^1$ is indeed a vector lattice?
I see, this is related to your question: Show space of C1 functions on (0,1) is a Banach lattice
BTW you could include also the name of the book to the question (and perhaps number of the exercise), as an additional context.
When I put "c1" "banach lattice" into Google, one of the result says: "A Banach space which is not a Banach lattice is $C^1([0,1])$." @Alan
Of course, that book might be wrong. And, clearly, answer giving an actual argument would be better than simply searching.
 
6:53 AM
Could be :). THe book is PEter Meyer-Nieberg's Banach Lattices
ex 1.1.e3. I'll had it into the question, and look at that google result. Thanks
 
@Alan Is there the smallest function which is $C^1$ and bigger than $|x|$? I think it is not. And I posted this as an answer. (Of course, I might have made a mistake.)
My first answer in tag. I think that vector lattices and Riesz spaces are interesting topic. Some time ago I wanted to start studying it, I even decided which book(s) to use. But I never get around to it :-(
 
It's where my thesis advisor wants me studying, just shifting from student mode into research mode
I'll bring it up with him soon.
also tried to work out the algebra behind his very first exercise, and got lost. For $x,y,z\in E_+$, show that $(z-x)^+ + (y-x)^+ +(2x- x\lor y$)^+\ge 0$
sweird, the last part fdidn't render right...should have been the positive part of the last term, and the whole sum is greater than or equal to 0..and all we know is that each of the terms is greater than or equal to 0 to start with
 
7:13 AM
@Alan As the other answer explains, I did not read your post carefully enough. I used pointwise ordering on the functions not on their derivatives.
 
@MartinSleziak Looking at it now Hmmn. Mind is blanking. A primitive function?
 
For $x,y,z\in E_+$, show that $(z-x)^+ + (y-x)^+ +(2x- x\lor y)^+\ge 0$
@Alan Basically that answer says to take this: $h(x) = \max(f(0),g(0)) + \int_0^x \max (f'(x),g'(x)) \,\mathrm{d}x$
 
yeah, that one. I played around with various parts of his first theorem, couldn't get anywhere. I think I see ....yeah, got it
 
BTW your message did not render correctly because you had one additional dollar there. Have a look at the source: chat.stackexchange.com/messages/31291348/history
 
forgot I can max the derivitives
ahh, got it. It's late here, thanks :)
 
7:18 AM
BTW thanks for including the source in the question.
 
no problem, should have done it in the first place :)
 
I will have to leave now, sorry. Good luck with your study of Banach lattices!
 
Be well, thanks for the help!
 
 
2 hours later…
9:15 AM
Is it mathematically correct to replace 1 with I?(I is Identity Matrix)
 
@ItachíUchiha That strongly depends on the context. But in the context of matrix polynomials (like Cayley-Hamilton theorem and similar topics), this is precisely what you do.
Notice that $A^0=I$.
 
@MartinSleziak Umm..so it means i cannot replace it everywhere?Could you please give me some examples where 1 cannot be replaced with I?
 
9:36 AM
I cannot think of something natural immediately. But since you asked the question, you know in which context you wanted to do that.
This is somewhat similar, but it is not about I instead of 1, it is about $A$ instead of $\lambda$: To prove Cayley-Hamilton theorem, why can't we substitute $A$ for $\lambda$ in $p(\lambda) = \det(\lambda I - A)$?
 
10:15 AM
@MartinSleziak Thanks for your time.It seems i was confusing stuffs.
 
10:44 AM
Please, vote to delete this thread meta.math.stackexchange.com/questions/23712/…
 
@MithleshUpadhyay I don't see why...?
It is a legitimate question, in my opinion. Albeit a bit unclear.
 
@MartinSleziak, The person who asked this question is stater on meta. He started with me after 1.5 year. I've answered genuinely, but some one voting down my answer and I'm disappointing with this.
 
What do you mean by "starter". A newbie?
 
His first post on meta since he joined. He used meta to blame me?
 
As I said, I do not see a problem with that question. And I do not see the main purpose of the post is to single out you personally.
@MithleshUpadhyay If you feel that it would be better to remove your name from the post, simply leave a comment there. You can point him to some older discussions on meta about naming specific users, like this one: What's the deal with naming names?
And even though you are saying that they made the post to blame you, I see praise in the post: "The edits are definitely time consuming and are meant for good."
 
11:05 AM
@MartinSleziak, so, what is wrong with my answer, people are voting down(may be OP targeted me)?
 
Hi again @Alessandro.
 
Hello @Balarka
did you manage to get enough sleep and go to school?
 
Yup.
 
11:21 AM
Hi all, I have a super noob question. I totally forget how to solve this:
I have $2x^2+2yx-1=0$ and $2y^2+2xy-1=0$. Could someone give me a hint about the method how to solve this?
 
Huy
@Kasper: what do you get if you subtract one from the other
 
$2x^2-2y^2=0$
so $y^2=x^2$
so $y=x$ or $y=-x#
 
Huy
exactly
now try to use one of those cases in either given equation
 
aaah
yes, I see thanks :)
 
Huy
you're welcome :)
 
11:35 AM
Please, vote to delete this thread meta.math.stackexchange.com/questions/23712/…
 
11:45 AM
@MithleshUpadhyay I think you have been around long enough to know that a few downvotes are nothing to worry about. (This is true especially about meta.)
I did not downvote your post, but since you asked what might be reasons to downvote it: I guess users who do not like edits for purposes of "badge-hunting" could use downvote to make their opinion on this clear.
 
It's also worth noting that downvotes on meta means that someone disagreed with your opinion, in contrast to the main site, where it means that someone thought you wrote a poor quality post
 
BTW I have edited the post to remove your name from it and also left a comment with an explanation of the "no names policy" on meta.
I guess Hanlon's razor can be applied here.
 
@BalarkaSen Bravo!
 
@MithleshUpadhyay If I understand the faq correctly the question has to be closed first for regular users to have even possibility to vote to delete: meta.stackexchange.com/questions/5221/…
So at the moment, only moderators can delete that particular question.
"Users with reputation ≥ 10k (more precisely, the moderator-tools privilege; 2k on beta sites) can vote to delete questions that have been closed/on-hold for 48 hours."
"Users with reputation ≥ 20k (more precisely, the trusted-user privilege; 4k on beta sites) are not subject to the 48-hour waiting period for deleting closed questions with a score of −3 or lower. They may also delete answers of score −1 or lower, unless they are accepted."
 
Anyone here good with vector bundles?
 
11:56 AM
The whole system is comlicated, so I might have missed something.
 
12:27 PM
what's a good way to simulate a random graph with strong communities in it?
 
 
1 hour later…
1:50 PM
@Krijn :P
@0celo7 What is the question?
 
@BalarkaSen same one as last night
 
OK. Boo.
 
I started reading about CW complexes a couple nights ago
 
@BalarkaSen Suppose we have a smooth function $f:\Bbb R^n\to\Bbb R^m$. Embed $\Bbb R^n$ into $\Bbb R^{n+k}$ in the usual manner. Then $\tilde f:\Bbb R^{n+k}\to\Bbb R^m$ with $\tilde f(x_1,\dotsc,x_n, x_{n+1},\dotsc,x_{n+k})=f(x_1,\dotsc,x_n)$ is a smooth extension.
I think you just have to apply that in each trivialization, and done.
 
they're kind of weird at first, and I always need to look back to the specific wording of the C and W conditions when I need them, but I can appreciate the structure they impose
 
1:59 PM
The problem is then showing you get agreement on the overlaps...
so you can apply the gluing lemma
 
'Sup guyz
 
@0celo7 Sure, it's just projection of $\Bbb R^{n+k}$ to $\Bbb R^n$ and then doing $f$.
@SamuelYusim I do not really think much about the C and W conditions when I think of "CW complexes"
 
oh, then what do you think of?
 
An equivalent definition of CW complexes is that it's a space $X$ with a decomposition into a chain of subspaces $X^0 \subset X^1 \subset \cdots X^n \subset X^{n+1} \subset \cdots$ (i.e., $X = \cup X^i$), with $X^{n+1}$ obtained from gluing a bunch of $(n+1)$-cells to $X^n$.
 
Huy
@BalarkaSen: let $S$ be a compact hyperbolic surface and $f: S \to S$ be an isometry. denote by $\phi_p$ the homomorphism from MCG(S) to the automorphism group of H_1(S, Z/pZ). if $f$ is not the identity, then $\phi_p([f])$ is not the identity for $p \geq 3$. do you know whether this theorem has a name?
 
2:06 PM
oh, sure
the book I'm reading just hasn't proven that equivalence yet
 
Aka, I think of it as a higher dimensional graph. Not abstractly.
@Huy Hmm, nope.
 
also, I figure a simplicial complex would be the better thing to think of as a higher dimensional graph
 
Yup.
 
I wonder if people have studied embeddability problems for simplicial complexes
 
They have, I am sure.
 
2:11 PM
this is actually a neat thing
I wonder what kinds of other graph theory problems have analogues in this stuff
 
Can you give an example of what you have in mind?
 
Huy
@BalarkaSen: do you know anything about residually finite/finitely approximable rings? I have a finitely generated ring $A \subset \mathbb{R}$ and the author claims that "it is well know that such a ring is finitely approximable", i.e. for any nonzero $r \in A$, there is an ideal $I$ such that $A/I$ is finite and $r \notin I$.
 
I have heard of them. What, in specific, do you want to know?
 
Huy
@BalarkaSen: why are all finitely generated rings $A \subset \mathbb{R}$ residually finite?
 
well, planarity of a graph is an important notion, so like, what are the obstructions (if any) to embedding a 2-complex in $\mathbb{R}^3$? an $n$-complex in $\mathbb{R}^{n+1}$? what about embedding into other manifolds of dimension $n+1$?
 
2:17 PM
@Huy Eh. No idea.
@SamuelYusim Mhm, fair enough.
 
would there even be any such obstructions for $n\geq 2$?
 
I think there would be topological obstructions, yes.
 
I think a characterization would be hype
there are also a million ways to generalize colouring problems
 
Sounds like something you could think about.
Note, however, that any $n$-complex embeds in $\Bbb R^{2n+1}$.
This is because an $n$-complex has topological dimension $n$, and the Whitney embedding theorem for such spaces.
 
2:25 PM
I really wonder if there are combinatorial invariants though.
Alexander duality would probably give you some immediate conditions.
 
I have no idea what that is
I'm interested in if there are forbidden minor descriptions like in kuratowski's theorem
because surely a minor is a thing for complexes
 
It's a relation between homology and cohomology of $X$ and $S^n - X$ respectively, where $X$ is a nice enough subspace of $S^n$.
Locally contractible subspace, I think. But that's satisfied here because you probably want to embed your simplicial complex in a piecewise-linear way.
 
well, sure. topologically people usually talk about edges of a graph embedding being jordan arcs, and straight line or piecewise linear embeddings are special cases
so I dunno if that's full enough generality, although I'm pretty sure there's a theorem that says any planar graph has a linear embedding, for example
 
Well, Jordan arcs can still be bad enough. But I think image of any sufficiently nice embedding should have that property.
 
I think this is one of the coolest things I've ever thought about
 
2:33 PM
OK, so Alexander duality seems to say if my $n$-complex embeds in $\Bbb R^{n+1}$, then $H_n$ and $H_{n-1}$ of that complex is torsion-free.
 
is the converse true?
 
Sure, lots of orientable 3-manifolds which do not embed in R^4.
Those can be triangulated to obtain a simplicial complex.
Well, "lots" is a lie: I know of one :P
 
well I guess I have to learn about manifolds now
 
@BalarkaSen I'm sure that disjoint union with itself is another one :P
So you know of a countable number :P
 
@SamuelY If you want to discover some fresh and new combinatorial invariants, then not really.
Problem of embedding manifolds inside Euclidean spaces is well-studied.
@0celo7 Yes, but a very boring one to be counted.
@BalarkaSen By sure, I meant that "the converse is false". Sorry for not mentioning that.
 
2:44 PM
@TedShifrin details?
 
I need to revise chapter 3. in Hatcher, especially section 3. I think it's a good time to do that, since I am working on oriented intersection theory.
I'll get to work.
 
docdro.id/nHIhD4u I found this
but unfortunately it's mostly about matroid theory
 
Trying to think of a matroid-metroid joke. failing. probably for the best.
 
I know I've heard them all before
 
3:07 PM
This Q has a related Q, but an answer to both Qs is given only with a comment. This is unsatisfying because the core of the question obviously keeps recurring.
 
3:27 PM
Oh, @BalarkaSen, a simple partition of unity argument suffices to construct the section
Not very interesting, but that took way longer than it should have
 
I believe you.
 
@BalarkaSen I'm glad, I wouldn't want to type it up anyway :P
 
@ccorn I suppose you know this but I will add a link to meta: Dealing with answers in comments (and also other posts linked there.)
Oh, I see you have already posted to c.r.u.d.e.
 

« first day (2183 days earlier)      last day (2835 days later) »