« first day (2361 days earlier)      last day (2661 days later) » 

12:04 AM
Hi Dog AteMy
were they revoked earlier, @Harnoor?
g'night @MikeM (or now I suppose I should say 'morning')
 
I've wasted rather more time than I should trying to figure out an answer to math.stackexchange.com/questions/2104820/… to no avail. Anybody have any ideas?
 
12:20 AM
0
Q: Derivative of the Koenigs function ??

mickhttps://en.m.wikipedia.org/wiki/Koenigs_function So the Koenigs function satisfies $f(a(x)) = a f(x)$. But when i take the derivative i get the wrong result !? Let $^{[*]}$ denote composition. $$ \frac{d}{dz} \lim_{n \to \infty} a^z a^n f^{[n]}(x) =^? \lim_{n\to \infty} ln(a) a^z a^n f^{[n]}...

 
@PVAL-inactive alright, game's on.
:-)
 
12:42 AM
@TedShifrin hi
 
12:53 AM
hi
 
hi
 
Someone can help me a understand bessel's functions?
 
Hi all
Bessel = beautiful
 
haha
How can I express this solution of the equation?
Should I use the first species functions?
With p=1/4?
 
I made a minor but imho subtle edit to my last question ...
 
1:45 AM
if we look at the graph, how the roots are distributed, do we always get such nice pictures?
 
2:13 AM
Be more specific @Socrates
There will always be reflection symmetry if you graph the roots of a polynomial in the complex plane, e.g.
 
@KajHansen hi, I missed you
 
yeah i meant not only the reflection
its that all roots are on a circle
 
Oh, that happens for every polynomial of the form $x^n \pm 1$
 
and they devide in a sense the circle into 3 equal parts
 
2:20 AM
They will be equally spaced too
Always true for those polys
 
are, I thought that was special haha
but still, found it sweet
like that would be a pretty example in a beginners course or not?
@KajHansen math.stackexchange.com/a/2105282/346682 I don't believe that this answer has 13 upvotes. I saw truly good ones with not even 1
(in the last hour even one with -1)
 
Depends what you mean by beginner's @Socrates. It's in Ted's intro to abstract algebra book as an exercise
 
@KajHansen can you verify my answer here? I think that boils down to: p has to be in 2 places or more
altho the "where" could be made slicker with proper symbols
 
lol @Socrates, I'll never understand upvoters around here
e.g. I thought this was super clever and basically got ignored :P
http://math.stackexchange.com/questions/1876350/ways-of-showing-sum-n-1-infty-ln11-n-to-be-divergent/1876355#1876355.
 
hi @KajHansen
 
2:27 AM
Hey there @Adeek. Looking at it now @Socrates
 
@Adeek how was your paper about elliptic curves?
 
good got full mark in it
@KajHansen can we discuss something in rings/modules ?
 
You have to use "Been(x,y)" somehow @Socrates
 
@KajHansen ?
 
Sure @Adeek, what do you have?
 
2:29 AM
@KajHansen mmh, there is no word for that in math or?
like if you discribe changing sets
 
don't tell me solution if you have it though @KajHansen
 
be more specific @Socrates
 
I just want to discuss ideas.
Let u be a unit and a nilpotent element in a ring R. Prove that u + a is a unit.
okay @KajHansen ?
the way I am thinking about it is that I think it is something of the form (b - a)^n
I think
 
suppose A and B are two bags, and my hobby is to switch a ball between A and B on any subsequent day. Then this should be formulatable in math terms.
 
where b is the inverse of u.
 
2:32 AM
(take A and B for sets, instead of bags)
 
Yeah, it looks like we just need to find $u+a$'s multiplicative inverse
 
for example if we make it easier for ourself
let say u = 1
 
I think you're going down the right trac
k
 
let us say u = 1 and a^2 = 0.
 
If there's a way to make that $a$ go away
 
2:33 AM
then (1 + a)(1 - a) = 1 - a^2 = 1.
what happens when let us say that u = 1 and a^3 = 0
what is the inverse?
let us see
 
@KajHansen oh, been(x,y) was clearly in the OP. should read more haha
 
Can rings of characteristic zero have nilpotent elements @Adeek ?
Yes
Matrix rings
 
eyah
matrices
 
Darn, I had a possible idea if finite characteristic
 
oh freshman dream ?
@KajHansen if a^3 = 0 and u = 1 can you tell me what is the inverse of (1 + a)?
 
2:43 AM
I'm not sure :/
 
me neither.
ohh
can you factor 1 - a^3 ?
-(x - 1)(x^2 + x+ 1) = -(u - 1)(u^2 + u + 1) = 1 - u^3 = 1 :D
right ?
If $a^3 = 0$ and $u = 1$, Then $-(u - 1)(u^2 + u + 1) = 1 - u^3 = 1$
@KajHansen
in general
 
@KajHansen are rings of rings a thing?
 
That's great, but $u$ could be anything lol @Adeek
 
yeah
I don't know...
I think I should call it a day. I will think about it tomorrow.
 
@Socrates, haven't seen any examples like that
I'm stuck too @Adeek
 
2:57 AM
@KajHansen It starts at: what's the inverse of a ring. How do you even define ring-addition.
 
Exactly
 
are there mathematical objects that can't be part of a ring?
 
But there might be a way to do it. I just haven't heard of one.
Also I think the collection of all rings is too large to be a set
 
but maybe all rings with certain number of elements, but then I don't think much is learned.
what is too large for a set? Infinite sets are ok or?
 
Look up classes
 
3:18 AM
@KajHansen can you explain why $\sum ln(1+1/n)=ln(\prod (1+1/n))$?
 
3:38 AM
Hey everyone, I'm stuck on this question above, I'm not sure exactly how to approach it, any hints would be appreciated
What I've done so far essentially is to define $\mathbb{R}^{\infty}$ by associating the set of all sequences for which after a given $N$ are zero, and then taking the set of all possible $N$
$$S_N = \left\{(x_i)_{i \in J} \ \middle| \ x_i \in \mathbb{R}^{\omega} \ \text{and } x_i = 0 \ \forall i \geq N \right\}$$ and then $$R^{\infty} = \left\{S_N \ | \ N \in \mathbb{Z_+}\right\}$$
 
3:56 AM
@KajHansen hey
 
4:44 AM
I'm trying to make a question at the moment but it looks like a wall of text.
The problem is I tested out the question in chat a while ago; And it took that long to explain it properly.
 
@Socrates, that's a property of logarithms
We have $\ln(xy) = \ln(x) + \ln(y)
 
 
1 hour later…
6:13 AM
would anyone here be willing to help explain why this was deleted? math.stackexchange.com/questions/2088483/…
 
6:24 AM
is it deleted by Community?
 
no
I'm not stupid. :p I know it was deleted because people actually willingly deleted it.
im asking more as to why it was deleted.
like, it was closed. It would've deleted on its own for starters, but strangely the instant it got to around 4 reopen votes (including the guy who originally voted to close it) it all of sudden got a bunch of delete votes.
and I'm confused.
 
ok that's very strange (cause I never had any deleted question deleted due to delete votes, mine (in PSE or MSE), are either deleted by community or deleted by a single moderator, thus that's unfamilar scenario to me)

Are the delete votes new (i.e. they are not one of many of the reopen votes?)
 
huh?
reopen votes are a completely separate thing
but it's almost like someone saw the post was being reopened and decided to immediately initiate a deletion vote
(one of close voters initiated the deletion if that has any relevance)
 
6:43 AM
It seems only a moderator or above can cast a delete vote according to meta, so this is a moderator thing. But if there is suddenly a huge number of them in such a short time, then it could be some kind of serial deletion, which is breaking the rules. I don't have enough experience to comment any further. Try to check with some moderators that you trusted about what is really happening
 
it wasn't a moderator
3 users can vote to delete a post
but what's weird is this guy voted to close the post
and then within hours to days of the post having 4 reopen votes the guy initiated the deletion vote process
which is very strange
I'm not being weird am I?
i mean, generally voting to delete a post seems like something that should only occur in instances of spam and whatnot
after all
closed posts get purged when they have downvotes
so why would someone delete a post that's already going to be deleted if not for the pure and simple purpose of preventing reopening?
I mean, I assume good intentions hence why I ask
 
That seems very strange indeed. My only suggestion would be to ask the guy.
 
Vote to delete has a cooldown, if I recall (please correct me?), the same user cannot single handily cast all 3 votes. If he do take advantage of such cooldowns to cast 3 delete votes, then that is a serious offense.

Alternately, it might just happened to be 3 different users decided to cast a delete vote. Of course, there is not enough info here to rule or a possible malicious deletion intent (if the 3 users are somehow related, either by sockpuppety or decided to band together for the purpose), which is once again breaking the rules and require moderator investigation
 
@Secret it actually says there were three different users who voted to delete.
but it also says what order the votes were cast, and it's that the first one is one of the same guys who voted to close and that it happened within the same time the post was being reopened. That's what is disturbing. I thought maybe you could see deleted posts.
I probably shouldn't worry about it though.
I know the mods don't really like me right now anyway.
 
my reputation is not 10K (because I am too lazy and not knowledgeable to answer questions if it is not perfect in the main sites). Moderator privillages starts at 10K. This is the reason I cannot really help other than wondering about the possible scenarios that is involved.
do you have any moderator or high rep users that you trust, perhaps you can ask them to check out more details (since only them can look into a deleted link)?
 
6:56 AM
Well I got in trouble for having too many questions that were essentially useless to the site. I'd rather not go into it. It's just not best for me to ask mods about it. They'll probably just tell me to go jump in a lake and that I probably deserved it anyway for causing trouble.
@Secret anyway changing the subject... Do you know amWhy by any chance?
 
Not very much, she is around when idomathart was around, and sometimes after that. She sometimes ask questions and converse with tobias and co. I have neutral chemistry with her
 
*her
 
Hello chat.
 
Hello Fargle.
 
@Perturbative let's start with the product topology, what does an open set around $x\in\Bbb R^\infty$ look like?
Or better what does a basic open set look like?
Same question for the box topology. After answering it take $y=(1,1,1,1,\cdots)$. Does an open set around it intersect $\Bbb R^\infty$ in the product topology? What about the box topology?
 
7:14 AM
@AlessandroCodenotti An open set around $x \in \mathbb{R}^{\infty}$ would be a union of products of open intervals of $\mathbb{R}$ containing $0$
For the box topology that is
For the product topology An open set around $x \in \mathbb{R}^{\infty}$ would be a union of products of finitely many open intervals of $\mathbb{R}$ containing $0$, as well $\mathbb{R}$ itself infinitely many times
An open set around $y$ should definitely intersect $\mathbb{R}^{\infty}$ in the product topology
 
Exactly right
Now ignore the box one for a moment
If instead of $y$ you take another sequence not in $\Bbb R^\infty$ what can you say about it's open neighbourhoods?
 
It's neighbourhoods should (if I'm not mistaken) consist of unions of products of of finitely many open intervals of $\mathbb{R}$ containing the point $x \in \mathbb{R}^{\omega}$ to which it converges, as well as $\mathbb{R}$ itself infinitely many times.
Wait hold on, I think I made a mistake
 
Hmm, I'm not sure what do you mean with the point to which it converges. I'd start by thinking about basic open sets, then you can just take a union to get all the neighbourhoods
Write down an explicit example, what's an open set around $(1,2,3,4,5,\cdots)$ in the product topology?
 
7:32 AM
In the example above, an open set around the given sequence should be a union of the product of finitely many open intervals of $\mathbb{R}$, each containing sequence elements along with $\mathbb{R}$ itself infinitely many times
 
Right, do you see why that intersects $\Bbb R^\infty$?
 
Because we can choose the finitely many open intervals so that they each contain $0$ as well as the sequence elements of the given example?
 
But you need infinitely many zeros at the end of the sequence
 
But because the open set is the product of those finitely many open intervals along with $\mathbb{R}$ itself infinitely many times, we can always find open sets that intersect both sequences
Ohhh, but that cannot happen in the box topology
So the sequence you gave as an example would not intersect $\mathbb{R}^{\infty}$ in the box topology
 
Not necessarily (there are nbhds of it that do intersect $\Bbb R^\infty$ in the box topology, just not all of them)
The important thing is that every neighbourhood of a point not in $\Bbb R^\infty$ intersects $\Bbb R^\infty$ in the product topology
 
7:43 AM
Ahh I get what you're saying now
I should be able to finish the rest of the problem on my own now, thanks for all your help @AlessandroCodenotti!
 
You're welcome
 
8:06 AM
Morning
 
8:31 AM
Hello
 
8:43 AM
hi
 
Is it just me; or do other people here learn through the site because they are too lazy to read proper articles on their favorite topics?
I do most of my learning by looking up a topic to answer a question. It takes a few hours often but its a nice way to understand something.
 
9:00 AM
If g is C^1, and $g(t)<0$ for T large and $g(t)>0$ for t small , what we use to deduce that there exist t_0 such that $g(t_0)=\max g(t)$?
 
 
1 hour later…
10:22 AM
Hello. I am having a hard time understanding a particular inequality in my textbook (I think it may be wrong?)
Any chance of assistance?
 
10:42 AM
Hi all.
Anybody around who could explain to me what kind of matrix structures are achieveable by left matrix multiplication by unitary matrices alone, which require the help of right matrix multiplication by unitary matrices and which simply can't be achieved and why?
(c.f. http://math.stackexchange.com/questions/2102756/matrix-structures-obtainable-by-multiplication-by-unitary-matrices )
 
 
2 hours later…
12:19 PM
@Semiclassical yo
 
12:36 PM
hi all
 
1:24 PM
hi
 
1:47 PM
Hi
 
2:17 PM
is the determinant of the inverse of a matrix A, always $\frac{1}{det(A)}$?
 
Hint: Binet's formula
$\det(AB)=\det(A)\det(B)$
 
ah..
well, of course the inverse determinante has then to cancel out the normal one.
But one probably has to be cautious about quotient spaces
 
lol. look what i just stumbled upon today.
 
Lol
 
i was listening to something entirely different and this is what autoplay gave me. quite appropriate for today, i'd think
 
2:34 PM
good tune
I'm also fond of california uber alles
 
oh god haha
 
0
Q: Correct way to learn number theory?

sashasBackground I am a college pass out. I have done my B.Tech in computer science and masters in quantum information. I am soon going to take up an industrial job. In the free time I got, after passing out from my college till now, ( few months ) I started reading Sipser's book on "Complexity and C...

any suggestions
?
 
I agree with the answers mostly
 
is there a minimal set of unary functions that can be composed together in any order to make any other function?
 
2:49 PM
any other unary function ?
 
for example: y = f(g(f(h(x))))
 
So the answer to my question is yes
 
what is the set?
oh, yes, sorry
 
I don't think there exists such set
 
darm
 
2:51 PM
@alan2here : If you're working in lambda calculus, the combinators S, K, I are all unary and are turing complete
 
thanks
 
is the 3-ball a manifold cause I think it has a 2-sphere as a boundary?
 
but that only means they can make any computable function
 
Well of course that depends what domain and codomain your functions have
 
using real or integer numbers for X and Y
or complex if prefered
SKI rearanges a tree I think, I've not really been able to understand SKI yet, but that could be the answer
any computable is easily good enough I think
I got thinking about this with lists indexing each other, which is basically the same:
 
2:55 PM
@Secret it's a manifold with boundary (if your 3-ball is closed)
 
ok
 
If your 3-ball is open then it's a manifold homeomorphic to $\Bbb R^3$
 
I thought that using a few like N, 2N, sqrt(N), N^3 ect... as primitives would expand into a large number of possibilities, but that despite being infinite, they would limiting.
 
I've read : "Let $A$ be a matrix of which the similarity class is closed. Let $D = Diag(1,2,\dots, n)$. Since $[D^k A D^{-k}]_{i,j} = \left({i\over j}\right)^k a_{i,j}$ goes to $Diag(a_{1,1}, \dots, a_{n, n})$ as $k$ goes to infinity, by hypothesis we have that $A$ can be digonalised."
Is it not a blunder to say that $D^k A D^{-k}$ converges to $Diag(a_{1,1}, \dots, a_{n, n})$ since for $i\gt j$, the terms diverge ?
 
3:32 PM
I spent some time on it earlier and I see now why the $dx_I$ are a basis of $\Lambda^k(V)^*$ @Balarka
 
@Semiclassical hi
 
Hello guys
I have a problem and I really need to share my feelings about it
it's been like days but I can't work out the solution
Can we have a chat about it?
 
hi chat
"Just ask, don't ask to ask."
 
@user8469759 shoot it
 
Hi @Semi
 
3:40 PM
in The h Bar, 5 mins ago, by Jim
I'm more looking for the theorem that would prove that for a function $F(\vec{\mathcal R})=\sum\frac{\vec r_i-\vec{\mathcal R}}{||\vec r_i-\vec{\mathcal R}||^3}$, where each $\vec r_i$ is unique, there must exist some value of $\vec{\mathcal R}$ such that $F=0$
 
Basically
it is related to a question I made a couple of days ago
is this one
1
Q: Linear interpolation max error for a specific function.

user8469759I want to prove, assuming I can, that an error function has unique global max. For $x \geq 0$ consider the function $f(x) = \tanh(x)$, such a function is always positive, strictly increasing and convex. Let $h$ be a real number strictly positive, and let also $0 \leq y < + \infty$, in the interv...

 
@Secret That'd amount to "for any distribution of unit positive charges, there's a point where the net electric field is zero."
 
I haven't received any kind of feedbacks
and I almost literally can't sleep xD
I've made so many attempts, some of them very long
 
(presumably they mean at least two such charges, else it's trivially false)
 
Semiclassical: It is, that's Jim's question. We are however not sure if there's a name of a theorem for that
 
3:43 PM
I want basically to prove that the error function has a unique maximum
I've derived a couple of expressions that tell me something but I'm not really sure how to use them
A possibly related question I just made is the following
1
Q: State uniqueness of a max of an integral function.

user8469759Let $f \in C^{\infty}([0,+\infty])$ such that. $f(0) = 0$, $f(x) \geq 0$ for all $x \in (0,+\infty)$, $f(+\infty) = 1$ $f'(x) > 0$ for all $x \in (0,+\infty)$, $f'(0) = 1$ $f''(x) < 0$ for all $x \in (0,+\infty)$, $f''(0) = f''(+\infty) = 0$ There's a unique $x_0 \in (0,+\infty)$ such that $f''...

I'm just trying to ask you know if maybe there's something I could further exploit to get the answer, based on the expression I've obtained
I'm pretty sure I'm not far from the answer
 
4:06 PM
Yay, moved offices and getting a blackboard soon :D
 
[Integral symmetries] The integral:
$$\int \sin x e^x dx$$
obeys the following integro-differential equation:
$$\frac{1}{2}(-\cos x e^x)"=\int \sin x e^xdx$$
Proof is easy by starting with integration by parts two times in the general case, then substitute the symmetries for $\cos x$ and $e^x$ under integration
 
Is there a way to do symbolic numeric gcd in sage? It seems to think that when I pass it anything with symbolic variables that I want polynomial gcd
 
sorry typo: should be one prime not two primes
 
4:39 PM
@AlessandroCodenotti Oh, that's great!
We can discuss the wedge product construction next if you want.
 
sure, I have to leave in an hour or so but I'm free until then
 
But I think you have to study for numerical analysis, and that's more important
ah ok
 
I'm quite ready for that since the exam was supposed to be today initially
 
Alright, ok.
So wedge product is just a map $\Lambda^k(V)^* \times \Lambda^\ell(V)^* \to \Lambda^{k + \ell}(V)^*$, denoted as "$\wedge$"
Basis-wise this is defined as $dx_I \wedge dx_J = dx_{(I, J)}$.
$(I, J)$ being the ordered tuple given by concatenating $I$ and $J$, in that exact order
 
4:49 PM
Hmm, so, this is clearly an associative pairing. Is it commutative?
 
What's the relation between $dx_I \wedge dx_J$ and $dx_J \wedge dx_I$?
Try with alt. multilinear 1-forms first. $dx_1$ and $dx_2$.
 
$\not=$ is a symmetric relation, but not transitive and not reflexive. (unrelated)
 
@Socrates $\le$ is a transitive and reflexive relation, but not symmetric.
 
hi chat
 
4:55 PM
@DHMO 6 is not transitive, reflexive or symmetric. In fact, it's not even a relation, but a number.
 
what teknique of integral to use when dealing with this x^3 (4-x^2)^1/2
by parts?
 
@KasmirKhaan u=4-x^2
note the odd power of x^3
 
@Krijn depends on the definition. let $A6B$ mean $A-6\leq B\leq A+6$
 
@Socrates for xxxx's sake it's a fxxxing number
 
:-D
 
4:56 PM
It is indeed a s*xy number
 
for fool's sake
 
@Socrates you should draw a table to show which relations satisfy which properties
 
@BalarkaSen In that case I'd say $dx_1\wedge dx_2=-dx_2\wedge dx_1$
 
@Krijn i am really slow today, got the joke now
 
@Alessandro Correct. What happens to the general case?
 
5:00 PM
@DHMO how are the standard relations called?
 
$$\begin{array}{c|c|c|c}
a \mathcal R a & a \mathcal R b \implies b \mathcal R a & a \mathcal R b \land b \mathcal R c \implies a \mathcal R c & \mathcal R \\\hline
✘&✓&✘&\ne
\end{array}$$
 
@DHMO thanks it worked
 
trvia: in a set, there exist no two distinct objects that are the same.
altho i am not entirely sure about that
 
it depends on how many swaps are required to go from $(I,J)$ to $(J,I)$
 
@Socrates i think it's true
@Socrates what do you mean?
 
5:03 PM
@Alessandro Yep, how many is it?
 
talking about limits
 
What do you mean by "standard relations"?
 
There's also antisymmetry you could add here
 
but basically distinct and the same is mutually exclusive
 
@Astyx but antisymmetry depends on another equivalence relation
 
5:05 PM
Not really
Well kinda
 
isnt anti symmetry if (a,b) is in R, (b,a) is not in R?
for all a,b in R
 
@Socrates not according to proofwiki
 
No @Socrates, $a\le b \land b\le a \implies a=b$
 
i see
 
$$\begin{array}{c|c|c|c}
a \mathcal R a & a \mathcal R b \implies b \mathcal R a & a \mathcal R b \land b \mathcal R c \implies a \mathcal R c & \mathcal R \\\hline
✘&✓&✘&\ne \\\hline
✓&✘&✓&\le,\ge \\\hline
✘&✘&✓&\lt,\gt
\end{array}$$
 
5:10 PM
@DHMO I just wanted to thank you for linking the picture about fields, rings, modules
that is some time ago
 
I don't even remember?
$$\begin{array}{c|c|c|c}
a \mathcal R a & a \mathcal R b \implies b \mathcal R a & a \mathcal R b \land b \mathcal R c \implies a \mathcal R c & \mathcal R \\\hline
✘&✘&✓&\lt,\gt \\\hline
✘&✓&✘&\ne,\perp \\\hline
✓&✘&✓&\le,\ge
\end{array}$$
 
I see
 
So much space left between integral domains and fields :O
 
@BalarkaSen I get a weird result like $(-1)^{\frac{kl-k^2}{2}}$ as a sign in front, I think I messed up somewhere
 
5:16 PM
@Alessandro You should get something like $(-1)^{k\ell}$, but I believe that you can work it out
Note that this in general implies $\omega_1 \wedge \omega_2 = (-1)^{k\ell} \omega_2 \wedge \omega_1$ where $\omega_1, \omega_2$ are $k$- and $\ell$- alt. mult. forms.
 
Are you guys doing cohomology?
'Cause I think I remember something like that from Hatcher.
 
Sort of. Differential forms.
 
hi @Akiva, nice question about ZF-I
 
It's analogous to the anticommutativity of the cup product, yeah
 
@AlessandroCodenotti Thanks. It's from a very long argument on Reddit.
 
5:19 PM
can you post a link if it's an interesting one?
 
I'd rather not
 
sure, no problem
 
5:34 PM
@BalarkaSen ok, I found my mistake. Sanity check for the second part, the wedge product is linear in both its arguments, right?
 
Sanity? $\sqrt{}$
 
@Alessandro Right, because it's defined basis-wise and linearly extended.
 
Ok, I would surely expect that to hold then, but I'll check it when I return, gotta run now. Thanks for your time and patience!
 
$\sqrt{\phantom{\text{This is secret text}}}$
 
5:38 PM
@Alessandro Bubyes. Let me know when you want to learn more
 
Test: $\substack{1\phantom23\phantom45\\ \phantom12\phantom34\phantom5}$
 
Can someone help me out with this probability question? There is a group of $9$ males and $6$ females.
How many ways are there to choose the president and secretary? Would the correct approach be $15*14$ which then equals to $210$?
 
@LawrenceLelo I believe so
 
Depends what the conditions are really
 
I'd assume the only condition would be that they have to be different people.
 
5:44 PM
No conditions were mentioned
Yea that's a safe assumption
Wouldn't I have to divide the answer by 2?
 
No, because "Albert is president and Betsy is secretary" is different from "Betsy is president and Albert is secretary"
 
^
 
If you were just choosing two secretaries, you would divide by two.
 
Good point
 
It matters that they're different titles.
 
5:46 PM
I see
First year in statistics. Still trying to wrap my head around it
 
What references would you guys recommend for an introduction to algebraic topology ?
 
@Astyx Hatcher seems to be the most common
 
Thanks
 
Hi @Ted
 
Hi @Balarka ... You feeling better yet (again)?
 
5:56 PM
Much better
 
Good :)
How're you and Alessandro doing with forms? :)
 
To fire a stupid question at you: can you explain why geodesics have $\omega_{12} = 0$ along them, given a Darboux frame? Intuitively it's just because the tangent field ($e_1$) is parallel along so change of it shouldn't have an $e_2$-components.
But why really?
I taught him the abstract vector space story. Next up is differential forms on manifolds/R^k.
Maybe I'll introduce them through vector calculus first.
 
When you say along, you mean restricted to ... But your explanation is exactly right. If $e_1$ has no tangential twisting along the curve, that means precisely that $\omega_{12}(e_1)$ has only an $e_3$ component.
 
@TedShifrin hi ted :(
 

« first day (2361 days earlier)      last day (2661 days later) »