« first day (2440 days earlier)      last day (2580 days later) » 

4:06 AM
@MeowMix what symmetry?What it means?
 
Like, in the graph
The value of the function at $4+\rm stuff$ will be the same as at $4-\rm stuff$
 
Thanks
 
Xam
Hello people!
Have you heard about the term "extractor"?
 
4:28 AM
Ha,$\textit{Ted returns!}$
 
@Baymax The Ted spotter
 
he he @Daminark
 
How many pages is a math dissertation?
 
rehi @BAYMAX, Demonark.
@Forever, anywhere from 15 to 200.
Mine was about 100 typed double-spaced, as I recall.
 
really do you know of any in the 15-30 page range?
 
4:36 AM
Very rare, but there have been some.
 
Also @Ted difftop pset 2 is up, and it's pretty fun
 
Oh yeah, Demonark?
 
Yeah, I like it a lot
Honestly this is my favorite quarter so far at this school wrt classes
 
I have said many times that the G&P class was by far my favorite as an undergrad as my favorite to teach at the undergrad level.
 
Definitely
Also I'm enjoying analysis more this quarter
more than previous quarters, not than difftop
We've done things in a rather non-typical fashion, but it's nice
 
4:41 AM
I still need to make you learn multivariable calculus/analysis :)
You gonna share your favorite problem(s) from the pset?
(I won't give hints.)
 
One problem is to prove that there is no smooth retract of the closed unit ball onto its boundary whose restriction to the boundary is the identity
One problem has 2 parts, the first of which is one we did in analysis about proving $SO(n)$ is a manifold, finding the dimension, and tangent space at the identity, but part two is proving that $SO(3)$ is homeomorphic to $\mathbb{RP}^3$, which seems fun
 
Ah, I thought you had done the first one already in class.
 
Wait I forgot to mention that we're supposed to do this assuming Brouwer
In class we did it with the classification of compact curves
 
Gotcha.
Interesting, I usually use this to prove Brouwer.
 
Well, we are doing that as well :P
2 problems are from GP, one of which is to show that a manifold is locally a graph, the other is to show that if the entries in a matrix are non-negative, then it has a non-negative real eigenvalue
 
4:53 AM
The graph one I assume is a graph over one of the standard coordinate planes. That's super important. E.g., how do you prove that $y^2=x^3$ isn't a 1-manifold?
The Frobenius theorem about positive eigenvalues is used in econ a ton.
 
One problem is finding a continuous bijection from the closed unit ball in $\mathbb{R}^2$ to itself which only fixed $(1,0)$
 
Ah, that's good.
 
(Neves didn't originally write bijection, so many of us used the constant map while chuckling, before he realized this oversight)
 
I'm still pondering the non-retraction $\implies$ BFPT.
 
I have not encountered manifolds but still I think that if I read then it makes me feel that I can understand or at least have an intuition about many complex surfaces ,shapes ?..
 
4:57 AM
For starters, look at my diff geo text, @BAYMAX.
 
sure!
@TedShifrin
 
Oops, I wrote down the converse of what I meant.
 
Hi there. I'm sorry to bug this room, but does anyone know MATLAB code?
 
I haven't thought about MATLAB in about 20 years, so no.
 
The final problem is to find a map $F:\{(x,y):y\ge 0\}$ such that for any $p\in F^{-1}(0)$, $dF_p$ is surjective, $F^{-1}(0)$ intersects the real axis, but $\partial F^{-1}(0) \ne F^{-1}(0) \cap \{(x,0) \}$
I haven't worked in MATLAB, sorry :(
 
5:01 AM
Good. I usually give an example of that in my lecture.
 
Yeah, that's what I'll work on next. For now I'm doing the one about $SO(3)$ being homeomorphic to $\mathbb{RP}^3$
 
Did he give you any hints on that?
 
Nope. Right now what I'm trying to do is find a surjective quotient map from $\mathbb{S}^3$ to $SO(3)$ such that $f(x) = f(-x)$
 
That is doable if you think about it right. Lots of ways to do this. Tell @MikeM not to give ANY hints.
 
Oops
 
5:06 AM
yeah@JonnyQuiznos
 
ask Hamilton
 
Quiet, tern.
 
I can try , just did some of MATLAB '
 
I forgot my contact solution, so I'm just going to lose these (monthly) contacts. :/
 
can't you get more?
(contact soln, I mean)
 
5:07 AM
Not at 1AM
 
oh, good point
not that I know where you are
 
:)
Mass
 
Boston/Cambridge?
 
Amherst.
 
Oh
more bumfuck
 
5:08 AM
eh sorry?
 
In Boston/Cambridge there would easily be 24-hr quick stores.
 
@BAYMAX?
 
@BAYMAX said he'd try, @Jonny. So ask your question.
 
I thought you were asking about MATLAB code ?still you can ask in this - scicomp.stackexchange.com
yes@TedShifrin
 
Mkay. My question is that is it possible to run both a hidden markov model and ordinary differential equation model in one program?
 
5:10 AM
Yup. CVS is closed already.
I'll wear glasses for the rest of the month.
 
I'm always paranoid about not having enough of my medications, @MikeM, so I guess you have to treat contact solution analogously.
 
Sorry I don't know that one.I hope you may get an answer from cs SE@JonnyQuiznos
 
where?
 
you can ask it as a question in scicomp.stackexchange.com
 
5:14 AM
Yeah.
I just usually hve like... 16 oz solution containers.
No reason for 3 oz!
 
well, you can't take that on board.
 
5:29 AM
OK so I have something which is kinda bizarre but merp
I can find a surjection from the closed unit disk into $SO(3)$
 
.
Let D be a Euclidean domain with euclidean valuation ν. Then if a and
b are associates in D, then ν(a) = ν(b). ?
a = b . u
for some unit u in D
applying euclidean valuation on both sides ?
asked some time ago!
 
By basically taking a point and looking at the rotation which fixes its axis, by angle equal to $\pi$ times the magnitude, with some orientation chosen to decide which side you're going
The nice thing is that $f(x) = f(-x)$
But this is kind of different than what I was looking for
 
HMM...HOW ABOUT PROGRAMMIN G MARKOV MODELS?
OR ode MODELS?
sorry
caps log on accidnetally =/
 
In partial fractions, if $\dfrac{f(x)}{g(x)}$ where $g(x)=(ax+b)^n$ form where n>1 integer, $g(x) $ can be 0?
 
Like, I can't nicely identify things otherwise, because if two points are antipodal, they share an axis of rotation, but the only way the direction of rotation is not arbitrary is if you rotate by $\pi$
This function extends it and makes sure that it's not adding new equivalencies
 
5:44 AM
Example reduce $\dfrac{x^2+5x+7}{(x-3)^3}$ into partial fractions
My math teacher took x=3 to get one constant of partial fraction
 
Sid
6:18 AM
this is easy
 
@BAYMAX Just in case somebody stumbles upon this, I will mention here that it was discussed further in Linear & Abstract Algebra chat room.
 
Yes,@MartinSleziak
 
49 mins ago, by BAYMAX
Let D be a Euclidean domain with euclidean valuation ν. Then if a and
b are associates in D, then ν(a) = ν(b). ?
a = b . u
for some unit u in D
applying euclidean valuation on both sides ?
 
Sid
@Fawad the answer is $\dfrac{1}{(x-3)}+\dfrac{11}{(x-3)^2}+\dfrac{31}{(x-3)^3}$
can anyone help me with thing weird limit please? math.stackexchange.com/questions/2223400/…
 
So Chrome on a mac takes a ridiculously immoral amount of memory, as I've now found out
So Firefox it is
 
6:42 AM
For what it's worth, anyone who's interested in increasing the visibility of female mathematicians might want to consider adding a name to this page, or creating an article for a name already on this page: en.wikipedia.org/wiki/Wikipedia:WikiProject_Women_in_Red/… it could use some crowd-sourced effort
8
 
6:56 AM
@Sid can I take x=3 in order to get those numerators?
 
7:40 AM
@JonathanBeardsley sure will, thanks for dropping by :-)
 
Sid
@Fawad no what i do is i made a system of equations: I have practice in making partial fractions so I know how the splitting occurs. your problem is quadratic upon cubic. 3-2 =1 hence the numerator will have integers and denominator will have increasing degree (x-3) terms.
 
8:14 AM
Hey @Astyx!
 
Hi chat
Firefox is behaving more and more weirdly on my mac
As in, it's been crashing very regularily recently
 
Firefox is the only browser that runs the Mathjax thingy for me
 
Which is even weireder considering it used to work perfectly smoothly before
 
Eh, I found Firefox has also had the problem that it takes up 2GB of memory, so I've resigned myself to Safari
 
Safari isn't that bad
 
8:27 AM
That is true, as I am coming to realize
 
if we have chrome we can play movies/videos with that one !
 
1
Q: What can be said of a subset of $\Bbb{Z}^3$ that is not linear yet a group of linear-like operators acts on it?

Fruitful ApproachBy Zhang's result on Twin Primes. For any sequence (including finite) of distinct integers $\geq 246, \ a = (a_1, a_2, \dots)$ there exists an infinite sequence $p = (p_1, p_2, \dots )$ of distinct primes, such that $2a_i + p_j $ is prime for all $i, j= 1, 2, \dots$ In other words certain subse...

Picture inside
 
Oh hey gang!
 
8:44 AM
Howdy hidy ho
 
$z^{n} = 1$ , represents n points on circle of unit radius.
 
Hi @Daminark.
 
I would like to increase $n$ in order to cover every point of the circle , but I see I cannot do that right ?
 
Probably use a limit
:P
Depends on what you're doing what would be best
$\{ e^{i t} : t \in \Bbb{R}\}$ is a group and the unit circle.
 
thanks
 
8:50 AM
Well, anyway, how's it going for you guys?
 
chillin' you?
 
Waiting to tire out so that I can sleep :P
 
Wrestling with Safari will do that ;)
 
It is, in fact, working now
 
cool
 
8:59 AM
My best shot is to read something boring, but I don't have too many of the dry books laying around here
Most of my stuff is in pdfs
 
anyone know matlab?
 
I use sympy
 
ohi
 
9:06 AM
high
;P
Do you like prime numbers?
1
Q: What can be said of a subset of $\Bbb{Z}^3$ that is not linear yet a group of linear-like operators acts on it?

Fruitful ApproachBy Zhang's result on Twin Primes. For any sequence (including finite) of distinct integers $\geq 246, \ a = (a_1, a_2, \dots)$ there exists an infinite sequence $p = (p_1, p_2, \dots )$ of distinct primes, such that $2a_i + p_j $ is prime for all $i, j= 1, 2, \dots$ In other words certain subse...

 
Hey @Steamy and @Alessandro!
 
HI @Steamy @Alessandro @Balarka
 
Aight, I think I've grown sufficiently tired now, see you guys around!
 
Bye @Daminark, cya
 
9:38 AM
Hi @Astyx
 
9:55 AM
Guys, does anyone have a good pdf on Taylor? (1 dimension)
I've had Taylor a couple of months ago, and I've never managed to grasp it for some reason
it somehow just won't click for me
 
What do you mean by Taylor ?
Taylor approximations ?
 
I want to understand why and when this holds, and where to Taylor about, and all that kind of stuff
I can just never do it
 
Hi sha vuklia
 
Hi Kasmir Khaan
 
hoe gaat het?
 
9:58 AM
Well it does not always hold
 
I've memorised the Taylor expansion for $\sin,\cos,\exp$, but whenever something slightly changes, I'm just completely lost
 
that series approximates the function by a polynomial
 
Haha wow that sounds weird! @KasmirKhaan XD
 
It's not an approximation
 
@KasmirKhaan maar gaat wel goed, zit al sinds 9h in de bieb! en jij?
 
9:59 AM
Haha
 
It would be if you took the partial sums
Do you know about convergence of series of functions ?
 
that's something I've always found very difficult:l
you think I should reread on that first?
 
Well if you want to understand why there is a $\infty$, you should
You could understand it handwavely, but that's not optimal
 
the good thing is a have a re-exam on that subject in two weeks
alright, I'm going to do that then
 
You can find good explanation on calculus books
it is explained well there
 
10:02 AM
do you have some recommendation? I've used Ross when I had the subject, but Ross was quite confusing for me
I just hate Ross. they overcomplicate things sometimes
 
one second =p
 
wait, maybe I can find lectures online!
that works best for me when I need to grow intuition rather then mathematical rigour
 
Thomas, George B. Calculus and Analytic Geometry. Reading, Mass: Addison-Wesley
that book by thomas is very good
 
I hope it's online available! XD
let me see
 
it is any edition is fine if you doing just 1 topic
 
10:19 AM
cool, i've downloaded it! if anything, it's going to be a different way of looking at it, which can only be good
 
well yeah hope that helps and thank you -.-
 
 
1 hour later…
11:23 AM
I hope I didn't say anything wrong? I just meant that the book is going to be useful either way
 
lol
Somehow managed to implement an exponential-time algorithm for the transitive reduction of a DAG
 
DAG ?
 
directed acyclic graph
 
Is that a feat ? (I honestly have no idea)
 
As in, exponential time for 460 nodes is very slow
 
11:32 AM
Yeah I know that. Can't we do polynomial time for that ?
 
Apparently, $O(VE)$ is possible
 
Yeah that's what I thought
 
The problem is, certain edges have a specific property (strictness) that must be retained in the closure's paths if it exists
 
11:59 AM
@Huy
(That was a hi, not an empty ping)
 
@{_}
^that would've been an "empty" ping.
 
Is the empty ping the identity element in the group of pings?
 
under what operation
 
String concatenation I'd guess
We don't have unpings for the inverses though
 
That's a monoid then
You could consider the free group generated by pings I guess
 
12:07 PM
@ + i@ <---the complex ping!
 
I've got a quick question. Given g(x)=x does the statement f'(x)=g'(f(x))*f'(x) hold?
 
Yes
 
Alright, thanks!
 
Since $g'(y) = 1$ for all $y$
My pleasure
 
In general d/dx(g(f(x)) = g'(f(x))*f'(x).
 
12:14 PM
Yeah, I've used that to construct that statement. Just getting used to the notation.
 
In ping theory d/d@(g(f(@)) = g'(f(@))*f'(@).
 
You might be taking it a bit too far ... :D
 
Already up @Daminark ?
 
I apologize to all those who were needlessly pinged in the statement.
 
12:23 PM
Sanity chexk, if $X$ is uniform in $(-1,1)$ is $X^2$ uniform in $(0,1)$?
 
I doubt so
 
Some of Beksinski's paintings really are mesmerizing.
 
So do I
 
More sanity checks, is there any difference between choosing points uniformly in $[0,1]^2$ and choosing the $2$ coordinates each uniformly in $[0,1]$ independently?
 
12:27 PM
I don't think there is
It's been some while since I last did continuous probabilities though
 
Another quick question. Does [((f(x)))]'=1*((f(x)))^0*[(f(x))]' hold?
 
Once again, $f(x)^0 = 1$ for all $x$, so yes
 
I have $X_j$ uniform random variables in $(-1,1)$ and I'm asked to discuss the asymptotic behaviour of $\frac1n\sum\limits_{i=1}^n X_i^2$
 
That would be $E[X^2] = V[X]$, no ?
 
And I'm a bit at a loss on how to proceed
 
12:35 PM
I believe it's the Law of large numbers
So mainly an application of the Bienaymé Tchebychev inequality
 
Ah, right, modulo mistakes in the calculations that's $\frac13$
Thanks
 
My pleasure
How are series going @Sha ?
 
1:15 PM
@Astyx well first of all, the book that was recommended to me, contained not a single proof :P
so I switched to something more rigourous
and it's going ok, I have one small question!
They say that $\lim_{n\to\infty}x_n=\lim_{n\to\infty}ax^{k-1}=\infty$, but I don’t see why that is true for $x<1$ (it’s obvious for $x>1$). I understand that the series diverges, because $\lim_{k\to\infty}ax^{k-1}\neq0$, but I don’t see why it equals infinity.
(also, isn't it a typo? shouldn't it be $k\to\infty$ instead of $n\to\infty$)
I think I basically have to show that $\lim_{n\to\infty}(-1)^na^k=\infty$ for $a>1$
which can't be true. I'll conclude for now that they wrote a misfortunate "typo" (infinity sign while meaning divergence), that didn't really matter, because all we needed was that that limit didn't equal zero
 
1:43 PM
Greetings.
So I'm asked to study this parametric function defined on $\mathbb R^*$ by $f_m(x)=\frac{mx^2-mx+1}{2x}$
 
@DHMO returns!
2
 
$\Bbb Q^2$ is dense in $\Bbb R^2$
yet the line $y = \sqrt 2 - x$ perfectly misses every point in $\Bbb Q^2$
 
And the first question is, find a fixed point in the Graph of $f_m$ for all $m\in \mathbb R$
 
so you must have done $f'_{m}(x) = 0$ ?@Mahmoud
 
@DHMO That's paradoxical, the cardinality of the irrational numbers blows my mind.
 
1:52 PM
for me I don't understand how a countable set can be dense in an uncountable set.
 
@BAYMAX Isn't that asking for absolute minimal and maximal points ?
I was able to find the point $(1,\frac{1}{2})$
 
@Mahmoud you mean fixed point under iteration?
 
do you mean $f_{m}(x) = x $@Mahmoud
as I remember I encountered fixed points in two places
 
@DHMO iteration ?
 
one in real , numerical analysis
 
1:57 PM
@Mahmoud as in $f_m(x)=x$
 
second in dynamical systems theory
 
@Mahmoud pretty sure $\infty$ is a fixed point for all $m > 0$
 
Pick a topological space $X$ of arbitrary cardinality, consider the set $Y=X\cup\{x\}$ which is the same space with a single point added and define a topology on $Y$ by taking the open sets in $X$ and adding $x$ to all of them. Now the singleton $\{x\}$ is dense in $Y$
Density doesn't have much to do with cardinality
 
@AlessandroCodenotti Thanks
 
@DHMO I think the question is asking for a point that stays fixed in the graph of $f_m$ no matter what value $m$ takes on $\mathbb R$
 
1:59 PM
@Mahmoud oh...
I'm quite curious as to how $f_m(0)$ is defined
 
And I think it's $(1,\frac{1}{2})$
 
sure
 
@DHMO How could it be ? O.o
 
wait, what does $\Bbb R^*$ mean?
 
$\mathbb R-\{0\}$
French notation ..
 
2:01 PM
alright
 
But how can I prove that ? And btw, Desmos confirmed it
 
well
$\forall m \in \Bbb R^*: f_m(1) = \dfrac{m(1)^2 - m(1) + 1} {2(1)} = \dfrac12$
qed
 
LOL.
 
or else how?
 
Just because $m$ isn't in the expression means that the function is independent of $m$ ?
Well, that sounds right ..
 
2:05 PM
we just proved it
$\forall m \in \Bbb R^*: \left( 1, \dfrac 12 \right) \in f_m$
 
Next question ? :D
 
@Mahmoud sure
 
Study the intersection of $(C_m)$ (aka the graph of $f_m$) with the $x$ axis.
I did this, turns out,
 
There, redid my transitive reduction algorithm using path matrices
(It works much faster now, even though it's still $O(n^3)$)
 
@DHMO $2$ solution for $m\in (-\infty,0)\cup (4,\infty)$ and 1 solution for $m=4$
 
2:10 PM
@Mahmoud and your question is?
 
@DHMO Corrected, those are the solution for $(C_m)\cap (ox)$
 
you still haven't stated your question
 
I answered it ... Study the intersection of the graph of $f_m$ with the $x$-axis,
 
I mean, what is your question to me
are you asking me to check or what
 
@DHMO Not really, just because the problem in kinda long with many questions .. so I just want you to see my solutions ordered ..
 
2:16 PM
ok
 
And because I got stuck in the next question ._.
 
ok
 
What are the values of $m$ for which $f_m$ has minimum and maximum values ?
It looks like I shall take the derivative, but the study of change is in the second part of the problem ..
Problem is that there is no such points on the whole domain of definition,there are some, but just for subsets of it ..
 
Hiiiiiii @dhmo where were you??
Salam @Mahmoud
 
@Fawad i can't be here all the time lol
@Mahmoud I don't understand
 
2:22 PM
@Fawad Wa alayka salam
@DHMO When I saw the graph on Desmos, there were no absolute minima of maxima
 
@Mahmoud I thought it means local maximum/minimum
 
@DHMO The question didn't actually specify
 
then au diable la question
 
@DHMO I need help. If $y=a\sin (kx-\theta +\phi)$ and $y=A\sin(kx-t\theta ) + B\sin(kx-t\theta$ then $a=\sqrt{A^2+B^2}$ and $\phi$ = \arctan \dfrac{B}{A}$
 
@DHMO It accepts local ones for $m\gt 0$, but hos do I prove that ?
 
2:26 PM
I tried squaring to $y=A\sin(kx-t\theta ) + B\sin(kx-t\theta$ but didn't got $a,\phi$
 
@Mahmoud prove that f'(x) = 0 has a solution
 
They write $S_{2m+2}=S_{2m}+a_{2m+1}-a_{2m+2}$, but shouldn’t it be $S_{2m}+a_{2m+1}-a_{2m+2}$?
 
@Fawad can you check that your question does not contain typos?
 
5 mins ago, by Fawad
@DHMO I need help. If $y=a\sin (kx-\theta +\phi)$ and $y=A\sin(kx-t\theta ) + B\sin(kx-t\theta$ then $a=\sqrt{A^2+B^2}$ and $\phi$ = \arctan \dfrac{B}{A}$
$\phi$ = {\tan}^{-1} \dfrac{B}{A}$
 
did you mean $B \cos$ instead of $B \sin$?
and why the sudden appearance of $t$ in the second latex?
 
2:34 PM
@DHMO ^
 
look at what you have typed
now firstly prove that $a \cos \varphi = A$ and $a \sin \varphi = B$
 
(btw, I get it, I forgot that the terms $a_n$ were alternating in sign)
 
@DHMO but..How?
 
@Fawad $\cos \varphi = \dfrac A {\sqrt{A^2+B^2}}$
@Mahmoud why not?
you can check the second derivative
 
@DHMO It has to change the sign
@DHMO $f_m$ has to be decreasing on the left of the solution, and increasing on the right of it, or vice-versa.
 
2:50 PM
just check the second derivative
 
@DHMO How could that help ?
 
@Mahmoud if it is non-zero then f' is changing sign
 
@DHMO Non-zero ? Why
 
I thought you would know the second derivative test
 
Integral solutions of $c(b^2 + a^2) = 3$
 
2:58 PM
Hi everyone I wanted to ask which book will be good for understanding concept of quadratic equations and complex number (advanced)
 
@BAYMAX (c, a^2+b^2) = (3,1) or (1,3) since a^2+b^2 >= 0
(1,3) is rejected, so c=3 and a^2+b^2=1
 
@DHMO Thanks so much :D
 
yo ya
 
(a,b,c) = (0,1,3) or (0,-1,3) or (1,0,3) or (-1,0,3)
 
sorry
 

« first day (2440 days earlier)      last day (2580 days later) »