« first day (1880 days earlier)      last day (3438 days later) » 

00:37
So I'm reading this book by Munkres and he uses both $X$ to denote the class of objects of a category and then talks about (X,Y) being ordered pairs of objects. Is this a typo and he meant something like $\mathcal{X}$ for the class of objects? What's the conventional letter here?
01:09
on the same page, in the same section, in the same paragraph?
@Rosenthal hello
Literally under a bold "Definition" @anon, then a:
1) A class of __objects__ X
2) For any pair of objects (X,Y) ....
01:39
@anon I just wanted to thank you for all your help. I finally noticed the elephant in the room. You have been quite helpful :)
01:51
I like elephants
Baby ones are pretty cute
02:45
@Gro-Tsen math.stackexchange.com/questions/1453021/… Is about your system.
03:26
hey guys, how do I verify that the polynomial I have is in fact a gcd of two other polynomials?
like given $\gcd(x^2-1,x^2+4x+3)=x+1$, i've shown that $x+1$ does in fact divide both polynomials, how do I show it's the greatest one that does?
 
2 hours later…
05:19
hi?
@Rosenthal np
sorry if I sounded annoyed
@Lucas euclidean algorithm
Can someone help me with this? math.stackexchange.com/questions/1453016/…
please..
05:39
@anon, do you know what a subobject classifier is?
suppose you have a category C whose objects can be thought of as having subobjects.
looked it up, hadn't heard of it before. question?
is $\sf Set$'s subobject classifier any two-element set?
you know, say it's {a,b}.
wikipedia says {0,1} is one, and {a,b} is isomorphic so yes
oh, cool.
thanks.
 
2 hours later…
07:19
@TedShifrin No, I mean you talked about Desargues and Pappus' theorem in section 2. Not sure if I care about them.
 
2 hours later…
08:53
hi everybody
can you give some tip to me? i have to find number of solutions to linear equation x + y + xy = n as f(n) where solutions must be prime and non negative
09:50
$\huge{\text{Another amazing discovery!!!}}$
10:09
How amazing?
On a scale of 1 to 100.
:-)
@skillpatrol $$101$$ :D
That's undefined on that scale :P
10:24
keep telling your not-told secrets
0
Q: Another beautiful arctan integral $\int_{1/2}^1 \frac{\arctan\left(\frac{1-x^2}{7 x^2+10x+7}\right)}{1-x^2} \, dx$

Chris's sis the artistDo you think we can express the closed form of the integral below in a very nice and short way? As you already know, your opinions weighs much to me, so I need them! Calculate in closed-form $$\int_{1/2}^1 \frac{\arctan\left(\frac{1-x^2}{7 x^2+10x+7}\right)}{1-x^2} \, dx.$$ I'm looking forwar...

@r9m ^^^
like ^this :D
10:46
Is there anybody with an expertise in Markov processes who could take a look at my question? math.stackexchange.com/questions/1452562/…
@Agawa001 Despite the fact the answer involves imaginary numbers, the imaginary part vanishes and the whole result is pure real.
11:10
@Chris'ssistheartist is it one heuristic that mathematica resorts to for parrying complex formulas?
i mean divide and conquer
@Agawa001 Despite its usefulness, many times it is not able to make things easier and get the simpler forms. And I don't have the last Mathematica version, maybe that one does better.
@Chris'ssistheartist the remaining job for a human brain to collect parts of imaginary result togather
cant mathematica do that ?
@Agawa001 It's not that simple, you have polylogarithms there with ugly arguments.
@Chris'ssistheartist I am downloading Mathematica 10.2 for my new computer
@Chris'ssistheartist oh
11:16
@robjohn AAAWEEEESSSOMMMMEEEE!!! :-)
@Chris'ssistheartist i studied some heuristics used for integrating, with all that known, i still cant think there is another effective way to find the primitive apart a human brain
@Agawa001 Human brain is still unbeatable. :-)
@robjohn lucky you, considered my old version of matlab, i m still just another disabled handwriter :D
no offense for matlab, but it cant beat the charm of mathematica
11:44
@Chris'ssistheartist Over 5 GB?!
@robjohn Is it that large?
approximately.
@Chris'ssistheartist That is the installed app size
@robjohn I see. So, did you run some integrals on it?
11:45
wonder how would the decompressed app-size be
@Chris'ssistheartist It is still copying from the installer image (it takes a while)
@robjohn I see.
@Agawa001 that is decompressed... the download was 2.5 GB
ah ok
still large
@Agawa001 my download said it was going at 1.4 MB/sec
11:48
large apps swallow larger ram
@robjohn so you have to wait looong term
@robjohn are you downloading it peer-to-peer ?
or server-client ?
@Agawa001 I downloaded it from Wolfram then copied it from the disk image file (that took a while to decompress)
server-client should take less time (if the server isnt busy)
so you downloaded it. ah forget my misunderstanding
i believe im us, you can get whatever you are bound to within a minute, where here, you can get whatever you want to beyond a quatrer of an hour
@Agawa001 It was about a 30 minute download
Taking a small nap, then walking the dog. BBL
12:06
later pal
be well
12:25
OMG
There's a teacher at a secondary school on this site.
"My main love is for Jesus and for my wife but I also love the overlap of mathematics and computing."
WTF
@AlecTeal ?
@morphic in America teaches and religion is a "disputed" subject.
12:48
As in teaching things like biology and stuff can cost them jobs....
13:07
@AlecTeal While it is difficult to accurately judge the frequency of such things. The number of instances where someone is fired for teaching biology (evolution in most cases) is most likely fairly small. Such things may seem more common because when they occur it is often picked up by news agencies.
I've never heard of that happening here at least
Not even in the news
I have heard of a handful of instances where school administrations ban the teaching of evolution because of a belief in creationism, but admittedly I can't recall any instances where a teacher was fired because of it.
 
3 hours later…
15:45
Maybe someone can help me with a really stupid Simplex misunderstanding (refreshing long lost knowledge). en.wikipedia.org/wiki/Simplex_algorithm#Simplex_tableaux says that the "c" line has negated values. And since Simplex maximizes the value, to minimize, I need to negate the whole target function.
So, 2*negate=nothing, so for a minimizing function I should be able to insert the c values unchanged? But why it is negated in the example en.wikipedia.org/wiki/Simplex_algorithm#Example_2 again? Thanks
@DanielFischer Are you saying that $\hat{a}$ is the continuous function that vanishes nowhere hence $\hat{a}$ is invertible?
@Moses No, in general, $\hat{a}$ will have zeros. Consider $\hat{a} - c$ for $c\in \mathbb{C}$. When does that function have zeros?
@AlecTeal wat do yu mean ?
teaching religion in math seance is bad indeed
@DanielFischer When $\hat{a} = c$.
16:00
@Moses Rarely is $\hat{a}$ a constant function. What is $\hat{a}$?
prioritizing religion and conjugal life over maths isnt bad (it is disrecommended thu), but if you shove up religious stuff to "young fresh" brains intentionally, thats worse, it is even a crime
@DanielFischer $\hat{a}(\phi) : = \phi(a)$ for all $\phi \in \mathcal{M}_{\mathcal{A}}$, where $\mathcal{M}_{\mathcal{A}} \subset \mathcal{A}^{*}$ is the subspace of all linear multiplicative functionals.
@Moses Right. (Should be nonzero multiplicative functionals, but meh.) So, therefore, which function is $\hat{a} - c$?
16:17
@DanielFischer $(\hat{a} - c)(\phi) = \phi(a) - c$ for all $\phi \in \mathcal{M}_{\mathcal{A}}$
@Moses So far so good. Now, can you get the $c$ inside the $\phi$?
@DanielFischer $(\hat{a} - c)(\phi) = \phi(a) - c = \phi(a) - c\phi(1) = \phi(a)-\phi(c) = \phi(a-c)$
@Moses Good. So, when does there exist a $\phi$ with $(\hat{a} - c)(\phi) = 0$?
greetings @DanielF
@TedShifrin Good afternoon, @Ted.
16:27
Good morning/afternoon/what have you everyone
@Balarka: Interesting — I never learned those theorems in Euclidean geometry; to me, they are squarely beautiful classic topics in projective geometry.
Clarinet!
30 minutes until the afternoon for me here
Hello @Ted
@DanielFischer Uhm when $a-c \in \text{Ker}(\phi)$?
@Moses And what does that mean? What are the $\ker \phi$?
Strange English coming from your keyboard, there, @DanielF :)
16:30
Doing a part-time graduate school load with a job that demands a lot is tough. But I'm catching up... for now. :P
@Agawa001 There is a inner search within each human being for God. I saw often people saying that we are born atheists as if someone from other planet came here and spread the religion. The need for finding the truth is real.
@TedShifrin How would you formulate it?
@DanielFischer Maximal modular ideals of $\mathcal{A}$
What is $\ker\phi$? @DanielF :)
hence not invertible
16:31
@Moses Ah hah! And, since we're interested in the spectra, how is that relevant?
@DanielFischer $c \in \sigma(\hat{a}) $.
@Moses That's part one, and also?
@DanielFischer Well $c \in \sigma(\hat{a}) \Leftrightarrow c \in \text{Ran}(\hat{a})$.
@Moses Okay. And now remind me, what exactly did we want to prove? Have we done all yet?
@DanielFischer Required to prove: $\sigma(\hat{a}) = \text{Ran}(\hat{a})$. Current status: proved.
16:41
@Moses Good.
@DanielFischer Thanks, that bit of maths cleared a bit of a hangover I had.
Medical uses of Mathematics, part I.
5
starts getting a study together and calculating significant $p$-values
@DanielFischer Exactly, unfortunately I think the maths was the motivation for drinking to begin with...so somewhat vicious circle.
Now if only I could get the grant money...
16:48
@Clarinetist You mean the Grant money?
Could someone of you take a look at my question:
1
Q: Formula of arc length

Mary StarIn some notes that I am reading there is the following: $$(\delta s)^2=(\delta x)^2+(\delta y)^2 \Rightarrow \left (\frac{\delta s}{\delta x}\right )^2=1+\left (\frac{\delta y}{\delta x}\right )^2$$ When $\delta x \rightarrow 0 $ we get $$(s'(x))^2=1+(y'(x))^2 \Rightarrow s'(x)=\sqrt{1+(f'(x...

?
 
1 hour later…
Anonymous
17:54
Hello Room.
Anonymous
I just had a simple math question.
18:12
I recall there being a site which gave symbol versions of numbers that you'd input. Anybody remember the link?
can anyone help me understand how to use the defn of irreducibility of polynomials? I know that, say (2x+1)(x^2+x+2) is irreducible
@Lucas No, that is not irreducible
and it's degree is 3, how do I apply the part that whenever p=fg, either deg(f)=0 or deg(g)=0
in Q[x]
sorry
18:28
@NataliTorres that question is very hard to read. See my comment.
18:40
Hi
2 hours ago, by Daniel Fischer
Medical uses of Mathematics, part I.
May 24 '13 at 0:32, by anon
just learned today that this whole semester I've been doing p-adic number theory my mom has been telling others I do "pediatric mathematics"
4
18:54
lol
oh god, can't stop laughing.
@ThomasAndrews Thanks for the feedback, this is the paper about it: arxiv.org/pdf/1312.6262v1.pdf
That's really not what I mean by context. Try to make your question clear and self-contained. @NataliTorres
@ThomasAndrews Can you help me to clarify?
Not my area of expertise, sorry to say.
19:00
@ThomasAndrews Look, paper tell us about a poisson structure on a manifolds with singularities
Nagging me more doesn't make me want to help more.
@ThomasAndrews Oh, I see, My apologies.
The key to a good question is to let people know quickly if they can help. I can't help, but I had to read all the way through the question before I figured that out. People who can help might give up earlier. So you waste the time of people who can't help, and lose some people who might be able to help. So make clear the context and the question as early as possible to get the best help here.
I get your point.
people can respond as they share same interests and fields indeed.
19:10
@ThomasAndrews There is no such a thing like The key to a good question is to let people know quickly if they can help.
hi @TedShifrin
hi @Balarka
I doubt my questions are of the type someone can read them and then quickly answer them, at least major part of them. This doesn't mean they are not good.
It's such a good rule of thumb that it is very close to t a key. @Chris'ssistheartist
I didn't say quickly answer them, I said quickly determine @Chris'ssistheartist
"Good" is in the eye of the beholder.
19:11
I should have made it clear "quickly determine if they are able to or want to try to answer."
@TedShifrin Which eye, in particular? Last time you had eight of 'em.
Majority rules, @Balarka.
@ThomasAndrews I know, but how one can quickly determin it if it's about a more difficult question? I myself meet tons of questions where I'm not sure I'm going to reach an end.
fair enough.
I thought you'd point out that with an even number, we could have a tie @Balarka :D
19:13
But if you don't do this, people who can answer will skip, and people who can't answer will waste time. The goal is to get the best help as an asker. I'm not trying to determine if the question is "good" from a broader sense, I mean "good" as in "I'm likely gonna get the help I need."
you must have more than two eyes for understanding 3D geometry
The mathematician who actually figured out how to turn a sphere inside out (with appropriate technical conditions) was blind, @Agawa :)
@TedShifrin Well, the fact that I didn't clearly points out who's better at this :P
@ThomasAndrews Sometimes questions are hell hard, that's not questionable, but I agree you can determin the others to help you if you show much effort on it, at least those that wanna see more than the text of the problem. I work on the problems I like in either case, with or without effort shown.
The projective duality thing you mention is pretty cool. I have heard about it before.
19:17
Do you actually read all the way through questions that start off unclearly and where you can't even quickly figure out the domain of the question? @Chris'ssistheartist The risk for the askrt is the loss of possible answerers.
Is there a chance that it's useful in intersection theory? You take two lines in $\Bbb P^2$ : they intersect iff the two corresponding points have a common pencil in $(\Bbb P^2)^*$
@TedShifrin stephen wasnt blind !
what do you mean ?
@Agawa Smale proved that there exists an eversion.
There was another guy who explicitly found out what the eversion is.
Steve Smale proved the theorem ... Bernard Morin, a French geometer/topologist, figured out how to implement it in reality. He was blind.
Right, Morin. Forgot his name.
19:19
But was he a visual thinker?
I know this story only because at Berkeley they had (maybe still have) wire mesh models showing the actual procedure ... and so we all learned about the history.
Clearly, @skull.
oh right, another foresighted talent beside beethoven
they enjoyed a sixth sens though!
Did you see my question above, @TedShifrin?
@ThomasAndrews Here is a different thing, that is 1) a clear statement of the problem and 2) the effort shown. I agree that without a clear statement of the problem I also have difficulties and I might not spend time on that question, agree, but it also depends on how bad that statement looks like. I might ask for more information or I might drop it. With the effort shown I don't seem to have problems.
No, @Balarka. I'm leaving in a few minutes. What was it?
19:21
3 mins ago, by Balarka Sen
Is there a chance that it's useful in intersection theory? You take two lines in $\Bbb P^2$ : they intersect iff the two corresponding points have a common pencil in $(\Bbb P^2)^*$
I dunno, it's a vague question.
But two lines always intersect, and any two points always have a line joining them. So, tautologically, yes.
I want to know if projective duality can be used in serious jobs.
I'm not talking about work shown. I'm talking about clarity. I never talked about work shown, but certainly, no work will also get people to skip your question.
Yes, projective duality gets much more interesting with algebraic curves.
Not all, but some.
19:23
@TedShifrin I mean, if you can generalize this to curves.
OK, that's what I wanted to know. Thanks.
Yes, there is a dual curve and the really cool result (prove it after you learn some calculus?) is that the dual of the dual is the original. :D
How do you define a dual curve?
Associate to each point in the curve its tangent line as a point in the dual plane. (So we're doing nonsingular curves.)
Ohh. Of course. That's interesting.
Wow, fun fun fun. Thanks @Ted, I'll get back to you after I think about this a bit.
@ThomasAndrews Oh, didn't we have a tough conversion here some time ago about the work shown? :-) That's since you said you never talked about work shown. Anyway, maybe I misunderstood you at that time.
19:26
I'm off to play bridge. Have a good night, @Balarka.
Have fun!
Have you seen my bridge site, @TedShifrin?
Link please.
i doubt he uses probability theory to balance victory over him
oh wait, ted dislikes probability
19:28
@ThomasAndrews Neat. I have been fascinated by bridge for a while, but I just never have the time to really try it out
Also, whenever I do have some time I usually end up playing mahjong instead (which I at least know I am good at)
@Agawa001 I think that was the last coarse he taught.
course* skill, a letter can flip the whole meaning
@ThomasAndrews Interestingly, some people have begun working on introducing the duplicate aspects of tournament bridge into mahjong. Though in current implementations, it takes a lot of logistics
They do that in backgammon for a while too - pairs play games with the same set of die rolls.
They've done that, I meant.
@ThomasAndrews interesting
19:35
I don't know mahjong at all, so I was unaware it had a random element. Is it the draw of the tiles? I vaguely think they do this in Scrabble tournaments, as well, but I don't know for sure, even though I read a whole book about Scrabble tournaments.
@ThomasAndrews mahjong (the 4-player game, not the solitare variant commonly found on computers) is in many ways like a card game, based on putting together "patterns"
Bridge, as a game, has some really interesting questions. Since it is a partnership game, it is partly about communication and information. (Theoretically, you only communicate with the words of your bids and the cards you've played - because of this, it is very easy to "accidentally" cheat at bridge, because you can take vocal intonation into account, or the fact that your partner hesitated before playing.)
@ThomasAndrews yeah, that is what really fascinates me (more so actually than the play of the cards itself)
@Agawa001 oops, sorry
When in doubt rely on context :)
Since English has 4 times as many words with multiple meanings as compared to words with a single meaning.
@skillpatrol i thought it was intentional :D, but i dont think he is that "corpse" the times when he doesnt misuse the flag button
19:46
:-)
@skillpatrol did you mean combinatory course ? this is little bit different than discrete probability
i think latest one he hates, according to my last update
20:03
Hi, any tips on how to find $P(A>0,B>0)=\frac12 P(AB>0)=\frac12 P(A>0|B>0)$ or $\int_0^\infty \Phi(\pm b/\sqrt{3})db$ where $A, B$ are standard normals with correlation coefficient $\pm\frac12$?
20:39
hi
does anybody know something about c*algebras?
math.stackexchange.com/questions/1453855/… do you know, if dim H_1 < oo ?
1
Q: Let $f:E\to\mathbb{R}$ be continuous, $E$ closed. Show $\exists g:\mathbb{R} \to \mathbb{R}$, where $g|_{E} = f$, g continuous.

Jessy CatLet $E$ be a closed set of real numbers, and $f: E \to \mathbb{R}$ be continuous. I need to show that there exists a continuous function $g: \mathbb{R} \to \mathbb{R}$ such that $g|_{E} = f$. I was given the hint to take $g$ to be linear on each of the intervals of which $\mathbb{R}\backslash E$...

This question I asked is turning into a circus.
If anybody here has a more useful answer than the one already up there, and could provide me with it, that would be great. I can't really wait 2 days for a bounty.
 
1 hour later…
21:46
If f(x,y) is an inner product, is c*f(x,y) also a valid inner product?
@FreshAir Yes
Thanks!
hi stranger @PedroTamaroff :)
I'm not here.
np @FreshAir
21:57
@user57081 I was looking into this and found the conditions mathworld.wolfram.com/InnerProduct.html - are these conditions universal?
I mean, is this commonly accepted?
(For example, this is not included in baby Rudin.)
@FreshAir I believe so
Okay great :)
 
2 hours later…
23:45
My question is very ignored. Even with the bounty added. 😕
Its not a bad question though
0
Q: Proof that $\oint_r d(x,N + n) < 0 $?

mickLet $f(x)$ be a real-entire function such that for all $x>0$ we have $f(x) > 0$, $f'(x) > 0$ , $f '' (x) > 0$. And also $0 < D^M f(0) < D^{M-1} f(0)$. Let $0<T<1$ and $n$ a positive integer. Let $g(x,n) = \frac{f(x)}{x^n}$. Let real $x_0(n)$ satisfy $x_0 (n)> 0$ $g ' (x_0(n),n) = 0$ Let $r...

23:56
Maybe post on MO then.

« first day (1880 days earlier)      last day (3438 days later) »