« first day (1379 days earlier)      last day (3937 days later) » 

00:08
@MikeMiller HAY.
@KarlKronenfeld Hello. =)
@PedroTamaroff Wassup
@KarlKronenfeld Doing some stuff about presheaves. Fancy pansy.
@PedroTamaroff Cool, I am doing something not all that different--learning about schemes
@KarlKronenfeld Ah. What are those?
@PedroTamaroff You can endow a ring with a sheaf of rings on its spectrum (called the structure sheaf) quite naturally; I'll denote the sheaf $\mathcal O$. The pair $(\operatorname{Spec}A,\mathcal O)$ is an example of an affine scheme. A scheme is then a sheaf on a topological space that is locally affine.
00:19
@KarlKronenfeld OK.
hi
Maybe do you know wolfram alpha which draw graph
Bu I cannot draw polar graph. For instance r=2cos(t)
If we enter this then it show cosine graph not a circle
00:49
@FernandoMartin
@KarlKronenfeld I cannot find a construction of the direct limit of rings.
@Pedro: It's on AM
on the exercises
@FernandoMartin Yes, but I cannot find it. =P
ex 21
in the modules chapter
it's just the direct limit as $\Bbb Z$-modules
and you define the product in the limit in the only way that makes sense
the usual direct limit construction works over good enough categories
00:57
@FernandoMartin $\mu_{i}(x_i)\mu_j(x_j)=\mu_{k}(\mu_{ik}(x_i)\mu_{jk}(x_j))$?
multiply before the limit
then project to the limit
@PedroTamaroff Direct limits work the way you expect, but that does not mean the rest of the colimits do. ;)
@KarlKronenfeld Yes, I've read colimits don't always exist.
Hi @Fernando @Karl @Pedro
01:00
@PedroTamaroff And also, finite direct sums are not finite direct products in the category of rings.
I saw that,, @Fernando :)
Haha, today was a long day @Ted
Hello @Ted
@KarlKronenfeld :confus: Explain...?
I hear you ... Just teasing.
01:01
@PedroTamaroff You have issues with the identity element. Try it.
I guess I've never heard of direct sum, @Karl.
@KarlKronenfeld Isn't the identity in both $(1,1,1,1,\ldots)$?
LEL Task Manager is not responding.
By try it, I mean, try to construct the universal cocone, etc., with the direct product.
@KarlKronenfeld Sorry, no cats in my house.
More of a dog man.
Meh.
I'm not telling you the answer.
01:05
@KarlKronenfeld It's OK, I'll learn categories when I learn categories.
Is Pedro still upset about direct limits?
@MikeMiller No, not at all.
I told you I solved the problem.
I just don't know category theory.
Okay.
I remember you used to not like direct limits.
I think that was about 24 hours ago.
@MikeMiller That's not true...?
@Pedro @Mike: Our friend is back in business. Aside from not knowing logic, he has tge pedagogical talent of a doorknob.
01:13
@TedShifrin Who's that?
Negative one guesses!
I thought it was going to be Mehnni.
And wasn't it?
Did I screw up?
@TedShifrin It says "Luis Valerin".
I tagged the wrong one. Agh.
Try again. Sowwee.
01:31
Who the hell upvoted that?
@Pedro: You removed your comment? I tried to upvote it :)
@TedShifrin Heh, I did.
I will try to stay out of drama.
But I did downvote.
LOL ... The downvote will no doubt start a tirade. I upvoted my student's answer, instead.
Now I need to focus or I'll start mixing up my arrows here.
=)
You wouldn't want an arrow puncturing you in the wrong direction.
01:34
@TedShifrin Who's your student?
Ah, Kaj.
Kaj ... Just finished his third course with me.
Can tell because Athens.
Of course :)
He's in love with algebra. You would like him :)
Cool Baire Category theorem question just posted, too. Funny, since I was commenting to @DanielF earlier today that so few people are taught that.
01:36
@TedShifrin Where?
Maybe I can answer it.
"Cool"
"Baire Category Theorem"
@MikeMiller BCT is cool. Fuck dem haters.
(?)
Here @Pedro, but please don't answer it. Let him think.
I know it's a lost cause. I already went off on a guy who put my comment as his answer.
@TedShifrin That's why you should make some comments answers! =)
But don't delete the comment.
So it shows you were there earlier. =P
I'm not in it for the points. :) I'm in it to help people learn. Sigh. :D
But I know that that sort of thing has happened to me ... it takes me toooo long to type on the iPad. :(
Anyhow, irregardless (as the average Amurican would say), it's one of my favorite BCT results.
01:59
What is?
My favorite are open mapping and closed graph... and then ignoring the theorem
02:39
@MikeMiller Dude.
@KarlKronenfeld
Would you lend me a hand in this?
I'm basically done.
 
1 hour later…
03:56
anyone who knows about von neumann expected utility theory?
04:44
I know a little bit. It's named after a person named Von Neumann, and is about utility theory and what's the expectation of it, man!
How do you make a travelling wave that oscillates back and forth?
v---
-v--
--v
-v--
v--
$\sin(\sin(x))$?
$\sin (ax + bt)$?
sin(a sin(x) + b t)?
user116900
05:30
@EnjoysMath First you make a wave and then you make it travel, done.
@JasperLoy what's the probaility that if you have two identical balls and two labeled bins that you end up with one ball in each bin?
user116900
@Anthony Hello.
oi
sorry, can you answer that really quick?
user116900
I have forgotten all my math, sorry.
Jaaaspppperr rpleeeasssee
its eatttiinnng awaaay at meeee
user116900
05:33
No, really, I am not joking.
user116900
You can post it on the main site, or wait for someone good to help you.
Yeah... I'll just waste away
user116900
Are you a high school student?
naw
College
I'm just dumb
user116900
05:35
I just saw the cat, lol.
05:54
I'm a "high's cool" student.
sorry for clogging the interweb guys... got 3 downloads going
What do you mean by "end up with one ball in each bin" please describe the process more carefully @Anthony
I don't know, is there a way to condition it so that you get 1/3 probability.
@skullpatrol
Working backwards from the answer is not the way to learn math imo
I'm not trying to learn
If you have electrons, which are identical
they work as a third
I'm trying to think of a real world analogiy
06:10
Oh, so this is Physics?
r9m
r9m
@Anthony there are 3 possible events .. both balls end up in (i) bin 1 or (ii) bin 2 or (iii) one ball in each bin (since the bins were distinct .. the cases both balls in same bin are two different events ) ,.. so the probability is $1/3$ .. if I understand the problem correctly
@robjohn I have looked through the transcript and collected your recent solutions into a text file and named it Robjohn Smash .. :P :P (sorry couldn't resist it)
@r9m really? Because doesn't 1/4 make more sense?
 
1 hour later…
07:37
@Anthony If the probability that each ball ends up in a given bin is $\frac12$, then the probability that there is a ball in each bin is $\frac12$. The probability that there are two balls in bin 1 is $\frac14$ and the probability that there are two balls in bin 2 is $\frac14$.
@r9m is this text file accessible somewhere, or were you just mentioning that you have done this?
07:51
the probability is 10
:D
08:36
Nah, it's gotta be -10
:D
09:13
Greetings
09:28
@r9m WaT?
09:47
Residue at $\exp\left\{ \frac{i}{1-z} \right\}$ ?
/How can i argue that this is an essential singularity?
 
1 hour later…
10:48
Is there one letter symbol for set of irrational numbers, like R for reals or Q for rationals?
9
Q: Is there an accepted symbol for irrational numbers?

KeithSmith$\mathbb Q$ is used to represent rational numbers. $\mathbb R$ is used to represent reals. Is there a symbol or convention that represents irrationals. Possibly $\mathbb R - \mathbb Q$?

Ale
Ale
11:21
Hello everybody. I can't really solve this problem, i'm thinking about it since yesterday morning, could you please help me and tell me if what i've done is true? It would be really nice. Thank you in advance. The topic is the following: math.stackexchange.com/questions/793340/…
@Ale Do I understand correctly, $z_0$ is an arbitrary but fixed parameter, subject to the condition $\operatorname{Im} z_0 > 0$?
Ale
Ale
exactly. $z_0$ is a point in the complex plane with the property that $Im(z_0) > 0$
@Ale Okay. I'll look after I've eaten.
Ale
Ale
Wow thank you very much! Enjoy your meal!
11:41
hello
hi @skullpatrol it's been a long time....
@Charlie :-O
@skull
:D
@skullpatrol how are you???
@Chris'ssis Chrisssssssssssssssssssssssssssssssssssssssssssssss
@robjohn Have you seen this one? $$\lim_{n\to\infty} \left(\sum_{k=1}^{n} \left(\frac{\zeta(3 k)}{3k}\right) -\log(\large \sqrt[3]{n})\right)$$
@Charlie Great CAT!!!!!!!!!! Where were you? :-) I didn't see you for centuries.
11:51
@Chris'ssis haha I am where I'm always
@Charlie :D
@Chris'ssis how are you ?
@Charlie Not that bad. Thanks! I'm working on some solutions.
@Chris'ssis cool, me too
Its been a long time, been a long time,
Been a long lonely, lonely, lonely, lonely, lonely time.
Yes it has.
11:52
I'm stuck
@skullpatrol I missed you
I missed @anon too
@Chris'ssis Could you give me a light?
@Charlie Integrals, series, limits?
@Chris'ssis sorta, yes
@Charlie If I know, I let you know.
It's like this:
$-2 \text {ln}Y$
@Charlie What is this?
11:57
and $Y=(\prod\limits_{i=1}^n X_i)^{\frac{1}{n}} $
And $X_i$ assumes only the values 1 or 0
and then i have to prove that it's ~$\chi ^2 (2n)$
where $\chi ^2$ is
for a parameter $k$
Okay, @Chris'ssis I got this, thanks a lot!
:D
@Charlie Then you might like to teach me. ;)
@Chris'ssis well, the distribution of $-2ln X$ is an exponential distrubution with mean 2
if you sum exponentials, you have a gamma distribution
from that, with a litlle bit of manipulation, we have the equivalence to the chi squared with parameter 2n
it's tricky
@skull ?
12:18
@Charlie
@skullpatrol :D how are things with you?
@Charlie its all good in the hood
you?
@skullpatrol things are very good
12:23
@Charlie has the world cup frenzy started yet?
@skullpatrol oww, unfortunately
the stadium is not even complete!!
@Charlie Wow, I was looking at the budget and it is staggering: 14 Billion US$
A new record
2nd place is 4 billion US$
@skullpatrol yeah.......
that money, mostly , went to someone's bank
That is insane.
corruption
12:28
so much?
yes
they make overbilling
so politicians get more money
the rich just keep finding ways to get richer
exactly
@skullpatrol I'm not interested :P
@skullpatrol it's tense
12:36
what is tense?
@skullpatrol this country situation
@skullpatrol it's better than in many places, but politics is still the worst problem
@Charlie I prefer to ignore politics
@skullpatrol me too
I'm alienate
12:39
@Charlie legal alien
@N3buchadnezzar yes
@Charlie Better to be an alien than stressed out imo
@skullpatrol yes...this shit won't change
never changed
never has and never will
12:41
Ahoy @N3buchadnezzar
@skullpatrol yeah
@Charlie I tried to propose a Worldcup.SE and it got down voted out of existence.
@skullpatrol oh
@BalarkaSen hi balarka
Ahoy @BalarkaSen
@skullpatrol agree
12:44
@Charlie Hello. Long time no see.
@BalarkaSen yes...
@N3buchadnezzar you don't like soccer?
i don't
@skullpatrol Hi to you too.
@skullpatrol That is a strawhat argument. The question is not about whether I enjoy fotball or not. But rather what is suitable for a stack.exchange site, that is built upon exchange of facts and details.
12:46
strawhat? fotball?
is there a history SE?
@Charlie I haven't seen one
@skullpatrol I'd like to see one
@Charlie propose it
@skullpatrol :)
12:48
:D
interesting
@N3buchadnezzar nice.
I know my fallacies
Meh soccer
2
guys I'm going
it was good to see you all again
see you @skull
:)
Bye @Charlie. Hope to see you again.
12:53
:)
@BalarkaSen see you balarka
yeah. and i also quit being a jerk.
being a jerk only attracts other jerks
@skullpatrol lol
hahaha
12:57
lol wut
@Charlie Of course there is!
here comes the circlejerk.
Any answer on that transcendence question yet, @Sawarnik?
Zero activity.
13:00
Why the blue avatar @Sawarnik?
@lolwut Because PK changed his' too :D
PK is cool
@lolwut The Ring thrown into the Cracks of Doom under blue sky.
Bad reasons are bad.
@skullpatrol Y?
13:02
he just is
he's respectful, but doesn't demand respect
that makes him unique
Let $f:[0,1]\rightarrow \mathbb{R}$ be a continuous function satisfying the following property: If $ABC$ is the equilateral triangle with side lengths 1, we have for any point $P$ inside $ABC$, $f(\overline{AP})+f(\overline{BP})+f(\overline{CP})=0$ where $\overline{AP}$ is the distance from point P to vertex $A$. (Example: by taking $P=A$ we see $f(0)=-2f(1)$.)

Prove or disprove: $f(x)=0$, for all its domain.
Take the midpoint.
Ok. But then :P
What do you get? I can't do geometry, give me the length.
$\sqrt 3/4$
13:07
No :P
@BalarkaSen -_- 1/sqrt3 I think.
@skullpatrol And some questions there are very nice.
There is a Politics one too, but not that active :(
you like politics?
13:08
$\sqrt{3}/4 \neq 1/\sqrt{3}$ so I can't do anything unless I get a precise values.
@skullpatrol We hates it forever.
@skullpatrol Nopes. You can say I find political science mildly interesting, but not politics!
@BalarkaSen Why do you care anyway?
@lolwut Numbers might help sometimes.
But nevermind, let me think how to proceed further.
6 mins ago, by Sawarnik
Let $f:[0,1]\rightarrow \mathbb{R}$ be a continuous function satisfying the following property: If $ABC$ is the equilateral triangle with side lengths 1, we have for any point $P$ inside $ABC$, $f(\overline{AP})+f(\overline{BP})+f(\overline{CP})=0$ where $\overline{AP}$ is the distance from point P to vertex $A$. (Example: by taking $P=A$ we see $f(0)=-2f(1)$.)

Prove or disprove: $f(x)=0$, for all its domain.
@BalarkaSen :P
@BalarkaSen Well, if you are gonna attempt it, the solution is not at all easy.
Shhh...his High-ness is thinking.
13:11
Hmm....shhh.....
by compactness, $f$ has min/max.
what does wut mean in lol wut?
@lolwut How did you get that? Its not the area, he's asking I think. Isn't the circumradius what you are asking @Bala (:P) ?
What circumradius? I am asking for the midpoint.
OK, I think I gotta go. Will see what i can do on that.
@Sawarnik It's an abbreviation. (w)ut (u)tw (t)wu.
13:15
Are there many functions that are invariant to inversion?
$g(z) = g(1/z)$
@Sawarnik Distance from vertex to midpoint.
@BalarkaSen What do you mean by a midpoint?
Is the midpoint is the center of the triangle?
oh, I blindly halved it
In which case the distance from vertex would be the circumradius.
If the midpoint means midpoint of side, which I don't think, then the distance becomes 1/2.
I can come up with $g(z) = 1/z$ and $g(z) = (\log z)^2$ but not many more.
13:17
I think circumradius should be what you're looking for @Sawarnik, now.
@lolwut Which is what I gave. 1/sqrt3. Not the area. But you can get circumradius of any triangle from the area very quick, by abc/4A=R, anyways.
Yep
@N3buchadnezzar but $1/(1/z)=z$.
@N3buchadnezzar $f(z)+f(1/z)$ for any $f$
Vanishes.
@Sawarnik btw, it was the length of the altitude that I halved; it happens to equal the area. :D
13:43
:D
14:15
Are "random sample" and "iid random variable" synonyms?
@DanielFischer
? (I don't speak statisticish, if you wanted me to answer that.)
Ok.
Please pardon me and my poor English@DanielFischer
Hi everyone
@Alex, Hi!
Do you know some statistics?
Given U subset R^n, would you say that the characteristic function on U, so chi_{U}, is in L^p(Omega) for all p?
14:27
@Sush Nothing to do with you or your English (which isn't poor, by the way). I just don't know the answer.
I did some first year stats but I can't say that it is working knowledge anymore, sorry.
Ok :-) First time heard some good comment about my English :D @DanielFischer, thanks!
Given that U is bounded, I forgot to add that.
@Alex Supposedly, $U \subset \Omega$, since you consider $L^p(\Omega)$. Assuming $U$ is measurable, it's always in $L^\infty$, and in $L^p$ for $p < \infty$ if and only if $U$ has finite measure.
@DanielFischer Oh yes, since it is in L^{infty} it is implied that it is in all L^p? for p< infty.
14:34
In this case asking whether it is in $L^p$ or $L^\infty$ is equivalent. Since it is characteristic function, it only attains values 0 and 1, hence $|f(x)|^p=|f(x)|$.
@Alex Since you said $U$ is bounded, it is (once more, assuming measurability) in $L^1$. And if something is in $L^r$ and $L^s$, it is also in $L^p$ for all $r < p < s$.
IIRC there are some problems with inclusions between $L^r$ and $L^s$. The whole thing depends on whether the space contains sets with arbitrarily small measure/arbitrarily large measure.
But if we work on a bounded set, we cannot get arbitrarily large measure.
@MartinSleziak, do you know some statistics?
@Sush I am no good at statistics (as the mathematical discipline).
Ok, will you please let me know Are "random sample" and "iid random variable" synonyms? @MartinSleziak
14:37
I don't know, sorry.
Ok!
Don't you need to have several variables to use the word iid?
BTW I'd guess it should be easy to answer for CrossValidate folk, but they seem to have less lively chatrrom.
in Ten fold, 1 min ago, by Sush
Are "random sample" and "iid random variable" synonyms?
@MartinSleziak, you are right!
So it follows that the characteristic function is in all L^p and naturally its derivative would also be in all L^p since it is just zero. So the characteristic function is in sobolev space W^{1,p} for all p. What I really want to know is if you extend the characteristic function to zero on the boundary dOmega, could you then state that the characteristic function is in W^{1,p}_{o}(Omega)?
Hello everybody! Is this the right place to ask questions about basic undergraduate math or is there a own dedicated chat for it?
14:42
There should be different rooms for different areas of maths.
@IronMan12 You can see in this list what rooms are created.
But maybe the best thing is to ask here. If you start chatting with someone, you can move to a specialized room or create your own room, if you do not want to get interrupted by other people talking in the main chatroom.
Oh yes I see. The problem is I have to go through stack exchange login to get onto chat and so I always just type in mathematics.
Ok, I was just wondering if anybody could take a quick look at what I wrote here and if it looks reasonable: wwwcip.informatik.uni-erlangen.de/~ox27otan/convergence.png
It's about the convergence of series.
It seem fine to me.
@MartinSleziak what do you think of the Sobolev space question I wrote? Do you have any idea?
14:47
@Alex Sorry, I do know anything about Sobolev spaces. :-(
Martin: Thank you! By the way, is there a way to check series for convergence with Wolfram Alpha?
@IronMan12 See Test for Convergence/Divergence at WA community forum.
It was the first hit when I searched for root test site:wolframalpha.com.
You might find some reasonable advice there.
Okay no prob
@MartinSleziak Thanks. I was just a little confused because when I entered the second term, Wolfram said something like "root test inconclusive". Maybe I misstyped something.
If you are given that a vector valued function a: Omega -> R^n is continuous, would you simply take that as that each of the components a_i are continuous in the normal scalar function sense of continuity?
14:57
@IronMan12 You are right, when I tried to enter $\cos k/k^k$, I get the same thing: tinyurl.com/khaawub

« first day (1379 days earlier)      last day (3937 days later) »