« first day (856 days earlier)      last day (4461 days later) » 

20:01
@sunflower facepalm lvl: contravariant
user57925
lol
@GustavoBandeira I have 21 what?
user57925
trying to visualize a contravariant facepalm
@robjohn I'm supposed to continue? I have to leave now. Sorry.
@PeterTamaroff So that for all $x\in[x_{k-1},x_k]$ we have $|f(x)-f(x_k)|\le\epsilon/2$ or $|f(x)-f(x_{k-1})|\le\epsilon/2$
20:04
@robjohn Is this because of MVT?
@PeterTamaroff yes, the derivative is less than $M$ and the distance from one of the ends of the intervals is $\frac{\epsilon}{2M}$
Problem of the day (for realzies this time): Suppose $f:\Bbb R^2\to \Bbb R$ is such that for every square $\square ABCD$ in the plane, $f(A)+f(B)+f(C)+f(D)=0$. Is $f$ necessarily identically zero? Justify your answer with either a proof or counterexample. What if we replace the condition of squares with the condition of equilateral triangles $\triangle ABC$?
@robjohn Purrfect.
@anon I will look at it in +2hs
@PeterTamaroff Then you use the convergence of $f_n$ on $\{x_k\}$ to find an $n$ so that for all $k$, $|f_n(x_k)-f(x_k)|\le \epsilon/2$
:sadpanda: is sad.
user57925
20:09
do the squares have to be axis aligned?
user57925
@anon
@sunflower any squares
user57925
ok I solved it for square but triangle seems much harder
user57925
I think there exists nonzero space for triangles
btw the problem with squares is an old putnam one. the (equilateral) triangle one is my modified version.
what does "there exists nonzero space for triangles" mean?
user57925
20:14
oh no I solved it for triangles too
user57925
every function must be zero
that was quick
try cubes in R^3 then :-)
@robjohn: Hi! Long time no chat.
@anon: Greetings to you as well.
long time no see
Mr. Spivey
(rhyme time)
20:17
I was inactive for most of the past year; now I'm sort of back.
user57925
@MikeSpivey hey there!
@robjohn I see you've managed to get yourself elected moderator. Congrats!
user57925
reminded me of this
@MikeSpivey Yeah, they were losing another mod or two for a while so they brought in mixedmath and me.
@MikeSpivey we were the next two in the election, so they asked us
20:20
@robjohn I noticed Zev is taking a break. Anyone else gone?
@MikeSpivey I think that Zev is the only one off now, but some of the others are taking things slower.
@robjohn And I think I read somewhere that you and @anon are the co-owners of the chat room? How did that happen?
Asaf leaving was a good while ago. It transitioned into robjohn being owner. Then when robjohn became mod he made me co-owner.
@anon Thanks. Asaf left? He's still on the site. So he just gave up chat?
@MikeSpivey how long has it been since you were here? When Asaf left, the ownership passed through another to me. When I became a mod, I added anon as an owner.
20:23
@MikeSpivey Correct.
@MikeSpivey yes...
Why did Asaf give up chat (assuming that the answer is not something Asaf would rather keep private)?
user57925
1
A: Why isn't the covariant powerset functor representable?

Zhen LinIt's not representable because it doesn't preserve products. (Representable functors preserve all limits.) Indeed, $2 \times 3 = 6$, but $2^{2 \times 3} = 2^6 \ne 2^5 = 2^2 \times 2^3$.

The last time I remember being on chat was January.
user57925
10/10
20:24
@MikeSpivey Asaf made an off-color remark and was flagged, popular opinion was against him, and he then rethunk his priorities and decided to stay off the timesink here.
user57925
I wish I had thought of this
@MikeSpivey Asaf is on self-imposed exile
@anon Thanks for the info. I certainly won't argue about chat being a timesink. :)
That being his final motivation is mostly speculation on my part.
The site has changed a lot in the past year. Lots more questions that scroll off the front page fast; it's starting to look like Stack Overflow.
20:27
@anon I have no actual information about why he left.
user57925
@anon, did you see Zhen Lin's really nice answer
And some longtime users whose answers I enjoyed seeing are inactive: Arturo, J.M., t.b., Byron Schmuland, for example
@sunflower yes. I was going to say "look at cardinalities" at first but then I confused hom(2,A) with hom(A,2) and thus believed |hom(2,A)|=|P(A)| mistakenly so ignored that idea.
user57925
I had just read about limits being preserved too
@MikeSpivey J.M. is around, but he is a mod on Mathematica
@MikeSpivey Arturo and t.b. are gone for "an unspecified time"
@MikeSpivey I know nothing about Byron
20:33
@robjohn: Any particularly interesting questions, answers, or conversations from the past year that I should take a look at? :)
@MikeSpivey being a mod takes some time, so I can see why J.M. is a bit less active.
@MikeSpivey You've been gone for a whole year?
@robjohn I believe it. I certainly don't have the time to run for moderator.
@robjohn From January until last month I only checked the site sporadically and probably averaged around one answer per month during that time.
user57925
hi
user19161
@MikeSpivey Are you Michael Spivak?
user19161
20:46
@sunflower Wow, those colours look like anon!
@robjohn so are free now?
@JasperLoy No, he's about 30 years older than I am. :) "Spivak" does sound like a Slavic variation on my name, though.
user19161
@pourjour He's not free, he's expensive!
that's what your picture reminds me of
user57925
hehe
user57925
20:53
@pourjour, I know how to solve it
@sunflower can u plz tell me?
user57925
$$\sqrt [ 3 ]{ 3+x } -\sqrt [ 3 ]{ 3-x } \quad =\quad \sqrt [ 6 ]{ 9-x^{ 2 } } $$
user57925
$$\sqrt [ 3 ]{ 3+x } -\sqrt [ 3 ]{ 3-x } \quad =\quad \sqrt [ 6 ]{ 3+x} \sqrt [ 6 ]{ 3-x } $$
user57925
$$\sqrt [ 6 ]{ 3+x }^2 -\sqrt [ 6 ]{ 3-x }^2 \quad =\quad \sqrt [ 6 ]{ 3+x} \sqrt [ 6 ]{ 3-x } $$
maybe we can write it as the system $a-b=\sqrt{ab}$, $a^3+b^3=6$.
20:55
i don't get the second step in this answer mathoverflow.net/questions/115691/… where does the rest of the infinite sum go to?
user57925
let $u = \sqrt [ 6 ]{ 3+x }$ and $v = \sqrt [ 6 ]{ 3-x }$, $$u^2 - v^2 = uv$$
is the infinite summation just missing before the second term?
@sunflower where did u get this>
user57925
@pourjour get what
@sunflower $u^2 - v^2 = uv$ this one
user57925
20:57
@pourjour, it's the same equation
@sunflower ok
user57925
do you see it is the same as $$\sqrt [ 6 ]{ 3+x }^2 -\sqrt [ 6 ]{ 3-x }^2 \quad =\quad \sqrt [ 6 ]{ 3+x} \sqrt [ 6 ]{ 3-x }$$
$\sqrt[6]{3+x}=u>0\iff \sqrt[3]{3+x}=u^2$, etc etc
user57925
?
@sunflower yes now I understand it
user57925
20:59
great
user57925
now you can follow what robjohn said
user57925
$$(u/v)^2 - 1 = (u/v)$$
user57925
solve this for possible values of $u/v$
user57925
then raise to 6th power for possible values of $\frac{3+x}{3-x}$
user57925
from which you can solve for $x$.
user57925
21:03
@pourjour ok?
@sunflower I'm trying to get it
user57925
which part is not clear?
user57925
@pourjour
user57925
reply
user57925
:(
21:10
@sunflower I'm stucked here<--
user57925
what do you mean?
@robjohn: Nice catching up again, albeit briefly. I need to go write a final exam in differential equations.
user57925
it's the quadratic equation
@anon: Nice catching up with you as well.
user57925
(u/v)^2 - (u/v) - 1 = 0
user57925
21:11
so (u/v) = quadratic formula
user57925
@pourjour, see?
user57925
hello
@sunflower sorry for disconnection I trouble with the modem
@sunflower I got it
user57925
great!
@MikeSpivey Ah, so you were not completely gone. I thought I remembered seeing some answers from you in the last year.
@pourjour I am back
@MikeSpivey Nice chatting with you, too. Drop by again soon.
21:23
@robjohn thanks but sunflower explain to me what did u say early
@pourjour okay. Sorry I was gone before.
@robjohn no problem thanks anyway
@sunflower I think I need to raise power just to 3th
user57925
$u/v = \sqrt[6]{\frac{3+x}{3-x}}$
@sunflower sorry I didn't notice that
@sunflower and thanks for help
user57925
im happy to
22:30
@GustavoBandeira Hello to you too!
user57925
22:55
will someone check my proof on the site?
user57925
I don't feel certain about it
user57925
thanks, it's here
user57925
I'm looking over every step to find a mistake, but I didn't yet
user57925
hm I just corrected a trivial one that didn't affect the correctness of the argument
user57925
23:04
could it possibly be correct?
user57925
partly I feel bad about it because it seems too powerful, we can prove any polynomial will have a arbitrarily large prime factors this way
hmm, does showing that it's unbounded imply the limit is infinite?
user57925
but is that true? I couldn't find any counter example
user57925
what are the "it"s in that?
user57925
oh I see what you mean
23:06
p(n^2+1), the problem is slightly beyond me but that part isn't clear to me
user57925
I wasn't sure about that either actually. I'm assuming here lim = inf just means unbounded.
user57925
it's conjectured that n^2+1 takes on infinitely many prime values
user57925
23:27
we need numerator and denominator coprime
user57925
amended
@sunflower You should go to the Independence Hall. People like that, apparently.
user57925
heh
@sunflower Are you good with analysis?
user57925
I don't know
23:31
@sunflower That is good,.
user19161
@PeterTamaroff How is Spivak? Has he been giving you a hard time?
@JasperLoy Now he is.
user19161
@PeterTamaroff Good good. Just tell him that Apostol is your bodyguard.
hi everyone!
@Nusha Are you Russian?
user19161
23:49
@PeterTamaroff You just need to ask if the theorem proves him!
@JasperLoy That is offensive on so many levels.
user19161
@PeterTamaroff Really? Hmm.
@JasperLoy Then again, there are some levels that are offensive.

« first day (856 days earlier)      last day (4461 days later) »