« first day (1450 days earlier)      last day (3578 days later) » 
00:00 - 20:0020:00 - 23:00

12:00 AM
@VladimirPutin No
 
12:49 AM
If I wanted to solve a system of equations consisting of equations such as
frac(1/x)+frac(2/y)+frac(4/z)=1 Would it be safe to assume that these are just 1/1(x) etc?
 
1:21 AM
@rubito huh?
ah, by frac() do you mean fractional part? and by 1/1(x) do you mean 1/x?
 
 
5 hours later…
6:08 AM
It is sad that this site is being overrun by spam. For the past few days I've been downvoting and flagging spam posts, but I need help from I think two other users. You can only flag five times per hour. I think that currently around 60% of the posts are spam. Thank you.
3
 
 
2 hours later…
8:03 AM
@rubito i have no idea what that notation means..
 
8:32 AM
hi guys
i have a problem
i was going to ask a question
but i see that my question was exactly been asked by another person some time ago
and some answered that question
i read the answer but i did not understand it
what should i do now
?
 
r9m
@user2838619 link ?
 
1
Q: How many ways to write one million as a product of three integers?

DeeDeeIn how many ways can the number 1;000;000 (one million) be written as the product of three positive integers $a, b, c,$ where $a \le b \le c$? (A) 139 (B) 196 (C) 219 (D) 784 (E) None of the above This is my working out so far: $1000000 = 10^{6} = 2^{6} \cdot 5^{6}$ and then to consider th...

 
8:48 AM
@user2838619 why don't you ask a special case of this question yourself say 1,000?
or less :-)
 
in other words, in how many ways can $2^6$ and $5^6$ be partitioned
 
@user2838619 if you start with a smaller, more manageable number than one million, you will be able to see what's going on more easily
 
 
2 hours later…
10:50 AM
 
@blue One of everybody's favourite "D'oh" moments :)
 
11:31 AM
@MikeMiller Probably there ain't any.
 
Hi @DanielFischer
 
Wait I misread. What do you even mean by a field embedding, @Mike? $\Bbb C = \Bbb R[i]$, no?
 
@LucioD Hi.
 
Remember the problem I asked you about regarding the convergence of characteristic functions. I discovered that the dyadic cubes are used in the standard proof of separability of Lp space.
 
@LucioD How convenient. Then you already know that you're done :D
 
11:42 AM
@DanielFischer :) No that just offers hope, I still have to study it. I was just surprised that it was a standard idea used, it seemed very inventive. I found it online and in Brezis.
 
@blue
 
@LucioD It was inventive once upon a time. It became standard because it's quite useful.
 
@DanielFischer For sure.
 
In here : "To the question "what is 2 + 3" a French primary school pupil replied: "3 + 2, since addition is commutative". He did not know what the sum was equal to and could not even understand what he was asked about! ". And here.
!
 
@DanielFischer Did you study maths at uni? Or is it just a hobby?
 
11:50 AM
@LucioD At uni a long time ago. Since then, just a hobby.
 
@DanielFischer Do you consider yourself talented at maths?
 
Mildly.
 
Hey @Alyosha
 
@DanielFischer Why didn't you choose a career in maths?
 
@BalarkaSen Hello.
 
12:01 PM
@DanielFischer To prove the last part of the MSE post of [Convergence of characteristic functions](http://math.stackexchange.com/questions/774552/convergence-of-characteristic-functions-on-hypercube), is the following fine: To show that $\int gf_{m} = \frac{1}{2}\int g$ for all m large enough.
Would it be fine to simply note that by construction as you stated for $m$ large enough $O_{1,2}^{m} \cap A$ takes
up exactly half of $A$.

Then taking $g \in A$ and assume that $g = \chi_{E}$ for some dyadic cube $E$, consider the sequence of characteristic functions $\{\chi_{O_{1}^{m}}\}_{m}$ then:
 
@LucioD Apart from the fact that you used $A$ to mean two different things, once a dyadic cube, and once the space of linear combinations of characteristic functions of such. Of course you need to say (and best give a reference) that the space of linear combinations of characteristic functions of dyadic cubes is dense in $L^1$.
 
@DanielFischer One of the $A$'s should be an $E$. I'm only trying to prove the last part not the whole question. I still have to study the density proof.
@DanielFischer Do you have a geometric idea of what the weak* convergence of these characteristic functions $\chi_{O_{1}^{m}}$ and $\chi_{O_{1}^{m}}$ mean, or is it just an abstract idea at this stage?
 
12:25 PM
For the particular case of $\chi_{O_i^m}$, it means that $L^1$-functions aren't too irregular. Although putting that into words would tend to be either horribly imprecise, or effectively repeat the definitions ;) Generally, hmm, I go with abstract.
 
How do you solve limits with asymptotic tools?
 
2+3=5!
 
@DanielFischer I think it is safer for me to stay in the abstract.
 
@Mats: No, $2+3 \neq 120$
 
@Nick yes you are right.
 
1:10 PM
@Nick not true if were working with a magma of the set ${0,1,2,3,.....,120}$ with the magma operation "$+$" defined as $a+b=20ab \mod 121$, thus $2+3=120$
 
1:33 PM
Hi @Hippalectryon
 
Hello
 
Did you find a solution to the problem you encountered with your USB?
 
No :/
 
pas de chance
 
indeed
 
1:45 PM
Any way to approximate the gamma function for a code ? (I'm trying to code the factorials for positive real numbers)
 
@Hippalectryon Stirling or Lanczos' approximation
 
back in 40-60 mins
 
ok
 
Hello!
 
Hi
 
2:00 PM
Hi @Nimza
 
Please, tell me, what may mean notation $\tr F \wedge G$ for a Lie-algebra valued 2-forms $F$ and $G$? Should I take scalar product of coefficients with respect to the Killing form?
 
idk
 
looks around
 
2:41 PM
back
@Hakim which one is the easiest for a code approach ?
 
3:09 PM
@Hipp!!!
You didn't die at a laptop explosion
 
@Studentmath :D
 
3:29 PM
@Hakim Nvm i've finished it
 
Does anyone know the definition of $\mu$-almost everywhere convergence?
 
@Hippalectryon Sorry I wasn't there, just came back, anyway it seems good to me
 
3:56 PM
Hi @Studentmath, salut, méchant Hippa
@Nimza, no, you use the Lie bracket of the coefficients (perhaps with a $1/2$).
 
Hi Professor @TedShifrin
 
Hi @skull
 
10 hours ago, by 685-252
It is sad that this site is being overrun by spam. For the past few days I've been downvoting and flagging spam posts, but I need help from I think two other users. You can only flag five times per hour. I think that currently around 60% of the posts are spam. Thank you.
This site was started at UGA, right?
 
Oh, @Nimza, I missed the trace. But you still do what I said and then do trace.
 
Do you know Sybilla Beckmann and Jacob Hicks?
 
4:07 PM
Not to my knowledge, @Skull. I wonder how spam gets in there more than it does at MSE.
Oh, that's not the math educators part of MSE. Yeah, Sybilla started a forum at UGA some years ago.
 
4:20 PM
Hey!
@TedShifrin!
 
4:43 PM
@DanielFischer, why is $(a,b)=\{\{a\},\{a,b\}\}$ is valid as a definition of ordered pair?
 
Prof @Ted! How are you?
 
5:12 PM
@Sush Because it uniquely determines the first and the second component of the pair. So it does what an ordered pair should do, hence we can take it as a definition. Note, however, that outside set theory nobody cares what definition is used, all one cares about are the properties ordered pairs have.
 
@DanielFischer, Thank you, so much. If you will let me know why $(x,x)=\{\{x\}\}$ is also ordered pair, please!
That is, how can we plot $\{\{x\}\}$ in Cartesian Plane
!
 
@Sush We have by the definition $(x,x) = \{ \{x\},\{x,x\}\}$. Now, since $x = x$, by definition of equality of sets it follows that $\{x,x\} = \{x\}$, and hence $(x,x) = \{ \{x\},\{x,x\}\} = \{\{x\},\{x\}\}$. Once more using equality of sets, $\{\{x\},\{x\}\} = \{\{x\}\}$, so finally $(x,x) = \{\{x\}\}$. We find the first component of the pair by looking at the element of the singleton set that $\{\{x\}\}$ contains. For the second component, either $\{\{a\},\{a,b\}\}$ contains two elements,
then the second component is the element of the non-singleton element of $\{\{a\},\{a,b\}\}$ that is different from the element of the singleton element (what a mouthful ;), or $\{\{a\},\{a,b\}\}$ contains only one element (that is the case here), and the second component is the same as the first.
So, to plot $\{\{x\}\}$ in the Cartesian plane, you go $x$ units to the right, and $x$ units up, and mark the point.
Hola @Pedro.
 
5:28 PM
Hello Daniel-San.
 
@DanielFischer, is the point of a branch cut just to send a continuous domain to a continuous image?
 
@Anthony Oy. You need a domain on which you can define a holomorphic function that does what you want (logarithm, roots, etc.). Now, the point of a branch-point (Ha!) is that you can't define a holomorphic function doing that in a punctured neighbourhood of the branch-point, or even in any annulus containing that branch-point in the inner disk, unless there is a corresponding other branch point (or several) that annihilate(s) the effect of the branch point also contained in the inner disk.
 
@DanielFischer , Thank you, so much for your help. I will have to concentrate on it more.
 
So you need something to prevent the existence of annuli surrounding the wrong number of branch-points. The simplest (geometrically) method is a branch-cut.
 
5:46 PM
@DanielFischer You kinda lost me, what do you mean you need another branch point to annihilate the effect of the other branch point?
 
@Anthony Consider $\sqrt{z^2-1}$. You have two branch-points, at $1$ and at $-1$. Going around each of the branch points on a small circle (so small that it doesn't enclose the other branch point), has the effect of multiplying with $-1$, that is, if you start with one value and go around the branch point, when you complete the circle (the first time), you have the negative of the value you started with. Now, if you take a larger circle, surrounding both branch points, you get a factor of $-1$
from both branch-points, and the net-effect is that you come back to the value that you started with. The effects of the two branch-points cancelled.
 
Oh. Woah.
@DanielFischer But to be more basic, when defining a branch cut for $\sqrt{z}$ we can pick any ray, right?
 
So you can, for example define a holomorphic branch (two, exactly, differing by a factor of $-1$) of $\sqrt{z^2-1}$ on an annulus $1 < \lvert z\rvert$.
Or even on $\mathbb{C}\setminus [-1,1]$.
 
^ I see.
 
@Anthony $\sqrt{z}$ has two branch-points, $0$ and $\infty$. Any (piecewise differentiable) path connecting the two points can serve as branch-cut.
 
5:55 PM
@DanielFischer So if I cut it on $[0, i\infty)$ what is my domain?
 
(Although, if the path self-intersects, the complement of the path is no longer connected, and you have more choices.)
 
@Anthony Nope.
There are two branches and the branch cut is straight through them.
 
@Anthony The complement of the trace of the path, $\mathbb{C} \setminus \{ it : t \in \mathbb{R}, t \geqslant 0\}$.
 
Oh, you are talking of branch cuts. Right.
Well, then you can take pretty much anything.
 
@DanielFischer Yeah. But so instead of my domain ranging from $-\pi, \pi$ it would range from something stupid right?
Like $-3\pi/2, \pi/2$?
 
5:59 PM
@Anthony To my understanding, branch cuts are just ways to get through the discontinuity induced by the sheets of the functions.
 
@Anthony Hrrgn. You can describe the domain by the argument. But that's by and large not so terribly useful. Look at the open set. It's easy enough.
 
So for example, you can see that something the loops around the branch point at z = 0 jumps into the other sheet before passing through the cut (say) [0, -\infty]
 
@BalarkaSen I meant a nonzero ring homomorphism $\mathbb R \rightarrow \mathbb C$. If you can prove that there aren't any nonstandard ones, I'd be very interested, because that contradicts a comment I saw (and I've been unable of doing so)
 
@MikeMiller field homomorphism?
 
That's the same as what I said, so sure.
 
6:01 PM
aha, I missed the ring word.
Hmm.
 
@DanielFischer Alright... I think I get it. Thanks.
 
@Khallil I've computed that integral in Mathematica and it's actually equal to: $$\ln \left(x^2+1\right)- x \arcsin\left(\frac{2 x}{x^2+1}\right)+\dfrac\pi2 -\ln 2.$$
 
@Hakim Our answers are equivalent, are they not? $$ \dfrac{\pi}{2} - x\arctan x - \log(2) + \log(x^2+1) $$
 
@MikeM I am going to find all the nontrivial ring homomorphisms from $\Bbb R$ to itself for a start.
 
@Khallil Nope, $\arcsin\left(\dfrac{2x}{x^2+1}\right)\neq\arctan x.$
 
6:13 PM
@MikeM There ain't any nonidentity ring homomorphism like that - that's what you have to prove.
But then there really ain't any. $f(x) = xf(1)$ for all $x \in \Bbb Q$ and $\Bbb Q$ is dense in $\Bbb R$
 
@Hakim I'm a bit shaky on the values of $x$ for which the integral is valid. I used a Weierstrass substitution to get it into that form. The form you have was a direct result of integrating by parts, right?
(It seems as though the two are equal for $-1 \leqslant x \leqslant 1$)
 
@Khallil I didn't compute it by hand
 
So there can't be possibly any map $\psi : \Bbb {R} \to \Bbb {C}$ that is nontrivial, restricting to $\Bbb {R}$. Shouldn't that be enough or have I misunderstood your question? @Mike.
 
@BalarkaSen Denseness doesn't do anything for you. I never said continuous.
 
@MikeMiller Right. Derp.
 
6:19 PM
@BalarkaSen Now, you can prove that there are no automorphisms of $\Bbb R$, using roughly that idea (prove that if $x >0$, then $f(x)>0$ and you're done), but I don't see why the only embeddings should come from autos of $\Bbb R$.
 
@Hakim Oh, right.
 
@MikeMiller Well, you said that the map is nontrivial.
 
And?
 
So any restriction to $\Bbb R$ should be nontrivial as well.
And that's not possible.
 
How do you 'restrict to $\Bbb R$'?
 
6:21 PM
@MikeMiller Right I was thinking backwards.
 
If you can show that $\Bbb R$ is mapped to the standard image of $\Bbb R$ we're done... but I can't prove that
 
You haven't said that it's surjective.
 
Well, the argument I gave above shows that any nontrivial endomorphism of $\Bbb R$ is the identity.
Or the argument you gave above.
 
No, no, I meant that if you were looking for surjective ring homos from R to C then I could've done it using that argument.
By looking at $\psi^{-1}$ and restricting. Anyways, nevermind.
 
Ah, I see what you mean. I just meant that if you can show that $\psi(\Bbb R) \subset \Bbb R$ (where by $\Bbb R$ I mean the standard copy of $\Bbb R$ in $\Bbb C$), then we're done, by restricting the codomain
But I don't think we can do that.
 
6:26 PM
Darn this problem looks so elementary.
I will sign out and think.
 
I had (mistakenly?) thought that there only was one in the first place,
OK. I will sign out but not think.
 
$f:\;\mathbb{R}\to\mathbb{R}$ Must there exist $x,y\in\mathbb{R}$ s.t. $f \big( x-f(y) \big) > x+yf(x)?$
What's the question asking for?
 
@Khallil Was $f$ being explicitly specified? In which context this question arise?
 
$f$ wasn't specified at all. I'm guessing it can be any function mapping $\mathbb{R}$ to $\mathbb{R}$.
There wasn't any context either. I found it on a random internet forum.
 
6:43 PM
im guessing it asks if the inequality is true for all $x,y\in R$
 
Programming sucks. (That is all.)
 
@cirpis Do you know how I'd begin going about showing whether it's true or not?
 
well, try substituting different values
lets say
$y=0$
for starters
 
For which function?
If I substitute in $y=0$, I'd end up with having to find $f(0)$ at some point along the line.
 
what do you mena which function?
you will
maybe
you get that $f(x-f(0))>x$
now try it with $x=0$
$f(-f(y))>yf(0)$
try to get a contradiction of sorts
 
6:48 PM
Ok, so we have $f(x-f(0)) > x$ and $f(-f(y)) > yf(0)$.
 
yes
 
(Oh, I see you've already typed that out.)
 
@Khallil Here's a counterexample: consider $f:x\mapsto -x$ and let $x=2,y=3$
 
yeah, i guess thats what you needed, a counterexample
its a wierdly worded question anyway
 
I confirm
 
6:50 PM
@Hakim I tried a counterexample of $f : x \mapsto x$ and showed that the inequality would suggest that $y(1+x)<0$ so I chose a $y<0$ and an $x$ such that $x+1<0$.
The poster of the question told me to read the question again.
 
well, there does exist atleast one pair where the inequality is true for $f(x)=x$, right?
 
@Khallil Maybe he asks whether for all $f$ there exist at least two numbers $x,y$ such that the given inequality holds
 
yeah
meaning that only one pair is needed so that the inequality is satisfied, so you need a counterexample for which no such pair exists
 
Here's one $x\mapsto0$, which would imply that $0\gt0$, but maybe the poster of the question meant $f \big( x-f(y) \big) \geqslant x+yf(x)$
 
@Hakim The poster definitely meant for the inequality to be strict.
(What's the name of the other inequality with symbol $\geqslant$ or $\leqslant$ ? Are they just called 'not strict'?)
 
6:55 PM
if $f(x)=0$ then we may chose negative $x$ and $0>x$ will hold
 
@Khallil They are just called "greater or equal"
@cirpis Ah yes I wasn't attentive
 
well im sure a counterexample must exist
 
can you prove x^n=1 mod n has no solutions? for integer x and n?
 
@Bananarama $3^2 \equiv 1 \pmod{2}$
 
ok, x is not 1
 
7:01 PM
$3^4 \equiv 1 \pmod{4}$
 
in the example $x$ is $3$
 
@cirpis But $3 \equiv 1 \pmod{2}$
 
i know that, he didnt say anything about not being one modulo two
i was replying to Banana
 
@Bananarama Now, if you say that $n$ shall be odd, then it looks different.
 
if x is even I think it works
@DanielFischer what do you think?
@cirpis, there are only two elements mod 2. they are 0 and 1.
 
7:07 PM
@Bananarama If you demand that $x$ be even, then there is indeed no solution. Like if you require that $n$ be odd.
 
nice
I can prove it
but I only know of a tricksy proof
quite tricksy imho
is there a general body of knowledge that explains it?
perhaps from a group theory context?
@DanielFischer
 
@Bananarama Fermat's theorem, resp. Euler's generalisation of that.
But, wait a moment, oopsie.
$$6^{25} \equiv 1 \pmod{25}$$
I was mistaken.
 
oh, ok. The proof is know is a lot harder
oh, wait what?
hmmm
well crap, then lets make x be a prime. I'm pretty sure that works. p^n=1 mod n must have no solutions
do you want me to explain my reasoning?
because I've just made wild (wrong) conjectures up to now.
@DanielFischer
 
7:24 PM
@Bananarama $31^{125} \equiv 1 \pmod{125}$
 
@DanielFischer heya
 
well, crap
 
@N3buchadnezzar Heya. Back in Bergen?
@Bananarama What's the context?
 
the original problem is to prove $2^n\equiv1 \bmod n$ has no solutions. I thought I could generalize the result
 
@DanielFischer Norway at least
 
7:29 PM
@N3buchadnezzar Whereabouts? Oslo, Hardangervidda, home?
 
Oslo =(
 
@N3buchadnezzar Ain't so bad. It's the only place I ever saw a wild badger.
 
30 degrees, i am slowly dying.
 
@N3buchadnezzar Can you help me with an integral?
 
Maybe
 
7:35 PM
$\displaystyle \int^1_0\frac{\mathrm dw}{\sqrt[3]{(1-w)w^2}}=\frac{2\pi}{\sqrt3}$
How?
 
@Alizter I was looking at this one
@Alizter Did you try something like $w \mapsto \sin^2 y$ ?
 
hmm I didn't think trig
 
@Alizter $B\left(\frac{1}{3},\frac{2}{3}\right)$
 
@DanielFischer Duuh
 
7:41 PM
@DanielFischer honest :D
 
@DanielFischer If I am ever in the situation where it is 03:30 and I am not done with my homework I am sure that q will come in handy,
 
@DanielFischer maybe the context is part of the question? Jim has 4 hours left till school time. It is $3:30$. What time does school start?
 
I think I am starting to like the high-school math in my books.
Some of them are just dumb, a play on words, but some are really good.
 
@DanielFischer cant believe he got to upvotes for that question
 
@BalarkaSen learn to play the word game :-)
 
7:46 PM
@skullpatrol i just lost the game
 
Bird bird bird. Bird is the word.
7
 
@skullpatrol Well, I always translate words into some algebraic equation.
@DanielFischer I don't get it.
 
It is a song
 
Anyways. Someone got some number theory?
 
7:49 PM
@skullpatrol Ah.
Heya @TedShifrin
 
Hi @Balarka @DanielF
 
Hi @Ted.
 
A few minutes to wile away in the airport ...
 
@TedShifrin I just thought I discovered a cool analogy of covering spaces but I also discovered how wrong I was.
 
Probably should learn some topology, @Balarka :)
 
7:52 PM
I was trying to make the natural map Spec Z[i] --> Spec Z a ramified 2-sheeted cover but some stuffs just cover themselves. Like (3) in Spec Z.
@TedShifrin I will, after I finish my comm alg.
 
$\int^{\pi/2}_0\sqrt[3]{\cot\theta}\,\mathrm d\theta$
bad integral
 
@DanielFischer can you check my solution to the original problem?
 
@Alizter Ugh integrals.
 
There's a topology issue, too. $(3)$ is prime in both. I'm confused.
 
@BalarkaSen It arises from a worse mess
 
7:54 PM
@TedShifrin Me too.
 
@Bananarama If you show it to me.
 
I was making the analogy of ramification by noting that (1 + i) and (1 - i) are sitting above (2) but (1 + i) = (1 - i).
 
Usually they talk about coverings in the étale topology, not Zariski ....
 
@BalarkaSen It used to look like this $$\int_0^1\sqrt[3]{\frac{\{1/x\}}{1-\{1/x\}}}\frac{dx}{1-x}$$
 
@TedShifrin I don't know and I don't care.
Kidding.
.
 
7:56 PM
@Alizter $B\left(\frac{1}{3},\frac{2}{3}\right)$. An alternative form of the $B$ function.
 
@DanielFischer if I stick a beta function in there I have no idea how to compute it?
 
@Alizter Compute?
What do you mean by that?
 
@Alizter $$B(x,y) = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}$$
 
A closed form?
 
I idiot.
 
7:57 PM
@Alizter Why are you looking at that one ? :p
 
Sorry about that
 
And $$\Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin (\pi z)}$$
 
@N3buchadnezzar Because it said I was lesser
 
Its just beta
 
@TedShifrin Well, if there's a topology there's always a metric. So shouldn't I believe that Spec Z is a 3-manifold with some metric on it?
 
7:58 PM
@Alizter I posted that integral in chat a few days ago, you saw the question on main ?
 
I'm curious.
 
@BalarkaSen No, only very few topologies are metrisable.
 
No, there's very often no metric.
 
@DanielFischer I know, I am just guessworking.
 
Metric topologies are Hsusdorff. Zariski is not.
 
7:59 PM
Hmm.
 
00:00 - 20:0020:00 - 23:00

« first day (1450 days earlier)      last day (3578 days later) »