« first day (167 days earlier)      last day (23 days later) » 

11:05 AM
ACuriousMind has unfrozen this room.
 
Neon meate dream of an octafish
 
Anonymous
lol
 
Anonymous
I'm reading your last message
 
Anonymous
in The h Bar, 1 min ago, by Balarka Sen
Translate each of those vectors to have it's end at the origin, and trace out the arrow end of the vectors
 
Mhm
 
Anonymous
11:15 AM
Hmm, this makes sense
 
Anonymous
But
 
Anonymous
If we think in terms of winding numbers
 
Anonymous
I'm not sure I've understood the definition of winding numbers fully yet
 
Anonymous
Isn't it the loop traced out by the points $F(\mathbf{x})$
 
No, it's traced out by the points $v(x)$
 
Anonymous
11:16 AM
Why should be shift the vectors anyway?
 
Because that's what being a vector means
A vector always has it's end at the origin.
We just shift it around for pictorial reasons
 
Anonymous
@BalarkaSen I think we need to get our definitions cleared first. $v(\mathbf{x})$ is a vector, right? What do you mean by "points" $v(\mathbf{x})$ ?
 
Anonymous
@BalarkaSen That sounds strange
 
Anonymous
I never heard that
 
A vector of $\Bbb R^n$ is a point of $\Bbb R^n$, and vice versa.
There is a natural correspondence
To each point $X = (x_1, \cdots, x_n)$, you have the vector $\vec{OX}$ associated to it
The "position vector"
 
Anonymous
11:19 AM
Well, given that you follow the convention that it starts at origin and behaves like a position vector (which isn't really true in all of physics)
 
To each vector $\vec{AB}$, you have the point associated to it given by the arrow end of $\vec{AB}$ when translated to have it's non-arrow end at the origin
 
Anonymous
But then you guys don't care about physics :P
 
Anonymous
@BalarkaSen Okay, but that really sounds like a topology specific convention. I get it now, though
 
Anonymous
I was thinking of path traced out by the heads of the vectors when the tails remain in their original location
 
Anonymous
i.e. the boundary of the ball
 
Anonymous
11:22 AM
That path would be just a point and not a closed loop around origin
 
It is true in physics, it's just you guys handwave the technicalities around. When you have two vectors $v, w$ starting at the origin, you people just draw the parallelogram, write the smaller diagonal as $v - w$ and say it's the vector difference
No it's not
The vector difference is $v - w$ translated to the origin
Fundamental misconception...
It's not a topology convention. It's true in all of mathematics and physics.
It's the difference between a vector space and an affine space (look that up)
 
Anonymous
@BalarkaSen It's not always possible to translate vectors in physics. For example you can't translate moment vectors ever (even if they are the difference of two moment vectors). Unless and until they are couple moments.
 
Anonymous
Translating moment vectors to origin would give you totally wrong results and make the field of statics/dynamics obsolete
 
The moment vector does not belong to the plane.
 
Anonymous
@BalarkaSen What ?
 
11:26 AM
It's a cross product; it lies along the $z$-axis centered at the origin, which is the fixed point of your axis on which you are exerting the force.
It's an element of the vector space $\Bbb R^3$, not $\Bbb R^2$
Another fundamental misconception...
 
Anonymous
@BalarkaSen Yeah, sure. I didn't refute that
 
So it's still centered at the origin
Namely, the fixed point of the axis
 
Anonymous
Depends on what you define as origin. In statics and dynamics often origin is considered as different from fixed axis of rotation for making some calculations simpler.
 
If you have something called a vector which is not centered at the origin, you're either abusing terminology or it's not a vector
@Blue An origin is an origin is an origin. It's built into the definition of a vector space
In physics it's a choice
Right, it is a choice, like I said. Look up affine spaces, it's helpful to see the definition of that
 
Anonymous
Yup, I'm reading :)
 
11:30 AM
It's more or less a vector space without a choice of an origin
It's technically what mechanics happens on
But physicists do not care about such technicalities :P
 
Anonymous
@BalarkaSen Well, they are more interested in making buildings and flyovers earthquake proof :P Anyhow, yeah...this is interesting: "In an affine space, there is no distinguished point that serves as an origin. Hence, no vector has a fixed origin and no vector can be uniquely associated to a point. In an affine space, there are instead displacement vectors, also called translation vectors or simply translations, between two points of the space."
 
Anonymous
I didn't know this term
 
Mhm, that
Well now you know :)
 
Anonymous
Okay, I'm continuing reading nash sen then. Will ask you if I get stuck again. Cya!
 
Happy journey!
 
Anonymous
12:14 PM
@BalarkaSen Seems I'm again stuck :(. Page 6, Para 2: This means that $v(x)$ must have a $0$ somewhere... I don't follow how they conclude this from the previous sentence
 
Their logic is that $v$ does not have index $1$ along $C$
Do you follow that?
 
Anonymous
Yes, that part I understood, because if you look at Figure 1.6, for all the vectors shown there, if you shift their tails to origin, then they (their heads) don't form a closed loop around it.
 
That's right
Now, their logic is the following
 
Anonymous
Now how does it follow that $v(x)=x-f(x)$ must be $0$ for some $x$ in the interior (rather on the boundary the circle C) ?
 
You could continuously deform $\partial B$ to the circle $C$ by a family of closed curves $\gamma_t$ starting at $\gamma_0 = \partial B$ and $\gamma_1 = C$
In that process you will see that $v(\gamma_t)$ changes from $1$ to $0$ as time $t$ goes from $t = 0$ to $t = 1$
But $v(\gamma_t)$ is an integer for all time $t$ -it's a winding number, which is an integer.
So that can never happen: intermediate value theorem
It's the same line of thought as the argument principle
@Blue Do you follow my thing?
 
Anonymous
12:22 PM
I'm trying to. Not sure why there can't be a jump in the winding number from 1 to 0, at some instant when we are doing the deformation gradually
 
There will be actually, otherwise mathematics breaks clearly. But if $v(\gamma_t)$ is defined for all $t$, it's a continuous function of $t$, so there can be NO jump
The contradiction here is that $v(\gamma_t)$ is not defined at some $t$
Namely, $v$ vanishes on some $\gamma_t$
THAT is your fixed point
Ugh, I meant, index of $v(\gamma_t)$ is not defined at some $t$
Hope you mentally correct that
@BalarkaSen Here, too. "Index of v(gamma_t) is an integer..."
 
Anonymous
@BalarkaSen I have some confusion. First of all, look at para 1 on page 6. It says we choose $\epsilon$ small enough so that C and C' do not intersect. If you start initially with $\delta B$ (i.e. map from boundary of $B$ to $C'$ inside $B$) then that is violated
 
Anonymous
Because in Figure 1.5 clearly C' is completely inside the bigger circle B
 
You're not starting initially with $\partial B$... you're starting with a point $p \in B$ where $v$ is nonzero. Then you're claiming there is a circle of sufficiently small radius $C$ around $p$ such that $C$ does not intersect $C' = f(C)$
Which is true
 
Anonymous
@BalarkaSen Okay, but I'm not able to relate this to the deformation logic you gave
 
Anonymous
12:28 PM
9 mins ago, by Balarka Sen
You could continuously deform $\partial B$ to the circle $C$ by a family of closed curves $\gamma_t$ starting at $\gamma_0 = \partial B$ and $\gamma_1 = C$
 
I do not see what is there to relate. The $C'$ thing is just to prove $\text{index}_C(v) = 0$
But you also have $\text{index}_{\partial B}(v) = 1$
Connect these two circles by a family of closed curves $\gamma_t$ ("the deformation")
Then $f(t) = \text{index}_{\gamma_t}(v)$, if defined for all time $t$, is a continuous function of $t$ with $f(0) = 1$ and $f(1) = 0$
Intermediate value theorem $\implies$ impossible
Therefore there is some $t = t_0$ such that $f(t)$ is not defined at $t = t_0$.
Therefore $v$ must vanish at some point on $\gamma_{t_0}$
Is this clear?
 
Anonymous
@BalarkaSen Upto this sentence it is clear! Next: Why must $v$ vanish at that undefined point when $t=t_0$?
 
Anonymous
I need to re-think this thing once I guess
 
Aha. Well, what would be the scenario in which $f(t)$ is not defined at $t = t_0$?
What is the condition for it to be defined? Unwrap the definition
What is $\text{index}_{\gamma_t}(v)$?
 
Anonymous
@BalarkaSen It's undefined :P
 
12:34 PM
I defined it for you
Let me reiterate then
$$\text{index}_{\gamma_t}(v) = \frac1{2\pi i} \int_{v(\gamma_t)} \frac{dz}{z}$$
I have no idea what you're talking about
Do you agree with the definition above ^^
?
 
Anonymous
@BalarkaSen Yes, it's a integration of $1/z$ over the boundary of the curve at that instant of time when the index is undefined. Right?
 
Anonymous
$\frac{1}{2\pi i} \frac{1}{z}$ to be precise
 
Anonymous
That was what we used to define winding no. in the first place
 
"Boundary of the curve"? It's integral over the curve $v(\gamma_t)$
But yes
 
Anonymous
Yes, corrected that
 
12:39 PM
Ok, so when would the integral be undefined?
You were right
 
Anonymous
Well, if for some point $\mathbf{a}$ on the curve $v(\gamma_t)$, $1/\mathbf{a}$ were undefined. i.e. $\mathbf{a}=0$
 
Ah, more precise, yes
Very good! What does that mean now?
 
Anonymous
That would just mean $\mathbf{a}$ and the origin coincide?
 
Anonymous
So, umm, ...
 
Well, that's less specific than the last thing you said. It means the contour $v(\gamma_t)$ hits the origin. Aka, for some $p \in \gamma_t$, $v(p) = 0$
12 mins ago, by Balarka Sen
Therefore $v$ must vanish at some point on $\gamma_{t_0}$
 
Anonymous
12:45 PM
@BalarkaSen Right, yes. From here we need to conclude that $v(\mathbf{x})$ has a zero somewhere. Does $\mathbf{a}-f(\mathbf{a})=0$?
 
Anonymous
Nah, I'm not making sense
 
If $v(p) =0$, $p - f(p) = 0$
By definition
So $f(p) = p$
Fixed point found
 
Anonymous
1:07 PM
Phew, I think I get it finally. Roughly: As we deform $\partial B$ to $C$, we go through several curves $\gamma_t$ as time progresses continuously. Winding number is given by the integral over the curve formed by the heads of the vectors $v(x(t))$ generated by mapping all the points of $x(t)\in \gamma_t$ to $f(x(t))$.
 
Anonymous
At some time $t=T$ there must be a point $x(T) \in \gamma_T$, such that $v(x(T))=f(x(T))-x(T)=0$ in order to keep with with the fact that there is a sudden jump in winding number from $1$ to $0$, from $\text{index}_{\gamma_T}(v) = \frac1{2\pi i} \int_{v(\gamma_T)} \frac{dz}{z}=\text{undefined}$. So it basically means that $v(x(T))=0$,
 
Anonymous
implying that the point $x(T)$ on $\gamma_T$ is mapped to itself under $f$. That is there is at least one fixed in the ball $B$ (outside of $C$), which maps to itself under $f$.
 
Correct
 
Anonymous
Pheeeeeewwwwwwwwww.....so this is what topologists do all day :P
 
Anonymous
I like it though
 
1:11 PM
It's a cool proof. But it's not entirely rigorous
I could show you a more rigorous one perhaps
 
Anonymous
@BalarkaSen Sure, but this is enough for today I think. I'll do something else now XD
 
For sure
 
Anonymous
Are you still doing those olympiad problems?
 
Anonymous
For CMI?
 
Anonymous
How's it going?
 
1:12 PM
Yes, sort of. These are easier than olympiad questions however
 
Anonymous
I see. I think the exam date's is in May. Lot's of time left, but good luck and keep practicing :)
 
yeah it's May 18
Thanks
 

« first day (167 days earlier)      last day (23 days later) »