« first day (1850 days earlier)      last day (3161 days later) » 
00:00 - 16:0016:00 - 00:00

12:00 AM
@morphic: Given any funxtion between sets, if $A$ is a subset of the domain, then $f(A)$ is the set of $y$ in the coodomain with $f(a) = y$ for some $a\in A$. That is, it's the image of $A$. In particular it makes sense for $\varnothing$, and you always have $f(\varnothing) = \varnothing$.
 
ok because the question is to give an example of where $f(A \cap B) \neq f(A) \cap f(B)$ but we do have that $f^{-1}(V \cap W) = f^{-1}(V) \cap f^{-1}(W)$ ($f: X \to Y$ is a function of sets and $A, B \subset X$ and $V, W \subset Y$)
so far i could only find cases where $f(A \cap B) \neq f(A) \cap f(B)$ when $A \cap B = \varnothing$
 
Set something up so that $A \cap B$ has cardinality 1 but $f(A) \cap f(B)$ has cardinality 2.
 
i thought i tried that but didn't get anything, but i just tried again and got something...
lol
 
To show that the function $f: \mathbb{R}^2 \rightarrow\mathbb{R}^2$ with $f=\left\{\begin{matrix}
\frac{x^3-y^3}{x^2+y^2} & , (x,y) \neq (0,0)\\
0 & , (x,y)=(0,0)
\end{matrix}\right.$ is continuous on $(0,0)$ we have to show that $|f(x,y)-f(x_0,y_0)| \leq L ||(x,y)-(x_0,y_0)||$ so we have to show that $\left |\frac{x^3-y^3}{x^2+y^2}\right | \leq L \sqrt{x^2+y^2}$.

Having shown that

$\left |\frac{x^3-y^3}{x^2+y^2}\right |=\frac{|x-y||x^2+xy+y^2|}{x^2+y^2}\leq \dfrac{(|x-y|)(x^2+y^2+|xy|)}{x^2+y^2} \overset{|xy| \leq \frac{x^2+y^2}{2} \leq x^2+y^2}{\leq} \dfrac{(|x-y|)2(x^2+y^2)}{x^2+y^2} =
@SamuelYusim @anon @ArthurFischer do you have an idea?
 
12:28 AM
0
Q: Show that the function is continuous

Mary StarTo show that the function $f: \mathbb{R}^2 \rightarrow\mathbb{R}^2$ with $f=\left\{\begin{matrix} \frac{x^3-y^3}{x^2+y^2} & , (x,y) \neq (0,0)\\ 0 & , (x,y)=(0,0) \end{matrix}\right.$ is continuous on $(0,0)$ we have to show that $|f(x,y)-f(x_0,y_0)| \leq L ||(x,y)-(x_0,y_0)||$ so we have to s...

 
1:31 AM
@MikeMiller: Yep, that is basically what the exam is in my case (ATC). It seems a bit different, though. Here we just present a current research paper related to our research, present it publicly, then answer questions about it and related topics to a PhD committee.
 
Hello, I came across this question today - "Can you make 50 with these numbers: 2, 2, 4, 6, 9?" The rules were anything goes except for putting two numbers together (for example you can put 2 and 2 together to make 22)
There are multiple solutions to this problem. I was wondering if there was a way to calculate the number of possible solutions.
 
If "anything" goes, then no.
 
The question was targeted at 8th graders, so I'm assuming the only operations allowed were PEMDAS.
With the given constraint of only using (+ - / * ^) is there a way to figure out the number of solutions?
 
I question the use of such questions for 8th graders.
I mean at that stage they could be learning so many other things in algebra.
 
1:47 AM
Can I use factorial? Roots?
 
:/
 
$2-2-4+6\times9$ works, clearly.
But you want to know how many solutions?
My first instinct would be to throw a computer at it.
Program a computer to count them.
 
Yeah sure I would say factorial and roots work
 
How do I even begin to code a program for this? Hopefully not brute force...
 
1:50 AM
$^{\text{Excitement, not factorial. Well, maybe both}}$
 
Haha lol
 
I was thinking brute force. Maybe use Polish notation, so that parentheses wouldn't get in the way.
Can you rearrange the numbers or do you have to keep them in order?
 
Yeah you can rearrange the numbers however you like
 
I'm not a computer science person, so I wouldn't know anything beyond just brute force.
You could probably ask the people on one of the programming Stack Exchange sites what's the best way to do it.
 
I was hoping there was some sort of mathematical approach to solving this :S
 
1:58 AM
There might be, but I don't know what it would be
I'm just a 15-year old, anyway
 
wow 15 and know more math than me
 
Thanks!
@krikara Brookline?
 
Yeah I'm from Brookline o.o
Are you familiar with the area?
 
No
Never been there
 
Oh lol
 
2:04 AM
Wanna know how I know?
I'm from Brooklyn (ntb confused with Brookline), in NYC
@morphic
 
My gaming info is like all over the web lol
My mom is from Brooklyn tho :)
 
@columbus8myhw what university do you think you'll go to
 
Uhhh
MIT maybe?
 
nice
 
I'm just about to go into 10th grade though
So I have time to think about this
 
2:06 AM
a girl that used to take classes here at my school went to MIT
 
(Right?)
 
Are you going to Brooklyn Tech?
 
@columbus8myhw is surely Stuyvesant material :p
 
Haha no
I don't feel like saying my high school online
 
2:07 AM
i hope you will go to MIT
 
Thanks
So, I did some googling, and it turns out that my high school is actually online, so if you google enough you could theoretically find my high school.
 
lol there's probably like hundreds of high schools with a website in Brooklyn
 
Lol privacy is a good thing
 
ok that's too many but still
Hi @TedShifrin
 
No, I mean, there are places online that says "[real name] plans to go to [high school]"
(Old websites)
 
2:10 AM
hi mr eyeglasses
hi @columbus
 
first day of classes today
 
Challenge accepted
 
I start Sep 9
lucky me
 
no high schoolers in any of my classes this semester, so i'm not intimidated as much
 
2:11 AM
@columbus: Did you ever sort out my point about the subtlety of the conjunction of the implications?
I can still intimidate you, mr eyeglasses :P
 
I think that the only actual way to prove it is to go through a formal proof.
 
@TedShifrin i had topology and real analysis today
 
Well, I actually like my answer (although no one else did).
Good, mr eyeglasses, and ?
Generally, and I've told you this before, one should take real analysis and then topology.
 
But is there a fake analysis? :P
 
probably
there are some pretty light-weight books out there
 
2:13 AM
(I know, there's complex analysis, before you say anything)
 
our school has a fake undergrad analysis
i took the grad analysis though
 
@TedShifrin Is that a reference to fake books or something?
 
no, it's a reference to general watering down of the curriculum and exercises :P
 
Oh
You know, the interesting thing about having told us your real name, Dr. Shifrin, is that I can just google you to figure out exactly what you look/sound like
 
he's already famous anyway
 
2:15 AM
?
 
Lots have done so, @columbus. And some have made insulting/sarcastic memes. Speaking of which, what's become of @Hippa?
 
Um
I wasn't going to insult you or anything, if that's where you thought this was headed
Sorry
 
Not in the least, @columbus.
I have a reasonable sense of humor most days :P
 
@TedShifrin I sat in the first differential geometry lecture today and they were reviewing smooth and topological manifolds and next lecture I think was supposed to be tangent spaces/vector bundles so I was like "nope nope nope" and will never go back
 
You need undergraduate differential geometry first, mr eyeglasses. The graduate course assumes at the very least both point-set topology and a solid mastery of multivariable analysis.
 
2:17 AM
Differential geometry sounds interesting. I've always wanted to learn it
 
Take my notes for free, @columbus.
Maybe by the time you get to college I'll write up my graduate course notes, but I doubt it.
 
I'm "currently" going through Ian Stewart's Galois Theory
 
I like that book.
 
(Except that's on hold because I need to finish Dorian Gray and We Have Always Lived in the Castle by the time school starts)
 
well, I have always had a severe fondness for Oscar Wilde.
 
2:19 AM
The downside of having friends that are too intelligent is that they think something will be do-able for me because it was easy for them and they suggest that I try it but good thing I didn't listen to them otherwise I would've gotten destroyed taking differential geometry..they told me that I could probably work through it just because they learned this stuff back in high school
 
I know Wilde is supposed to be a writing genius but there's just these long stretches of prose where nothing happens...
 
mr eyeglasses, beware all the bravura around here and around real life.
 
@morphic Well, it means they believe in you, so that's good.
 
Lots of people think they get things well when they really don't get them at all.
 
("Mr. Eyeglasses" is Morphic, right?)
 
2:20 AM
@columbus8myhw I don't think so, I just think they don't understand people are less smart than them
 
yes, mr eyeglasses, but don't be so sure they're as smart as they (you) think they are.
 
Maybe they can't recognize the difference between you and them. If there is a difference at all.
 
part of the skill of being an effective adviser and teacher is to realistically assess where people are and what they can handle.
I've always pushed certain students very hard, but others need to be gently maneuvered through the major if they're going to make it at all.
 
Do you think you can assess that, @TedShifrin?
Or is it hard to do?
 
2:22 AM
generally, yes, @columbus ... I had probably a thousand advisees in my career.
 
Probably a skill you learn with experience
 
well, some of it requires being attuned to personalities and other issues
 
Do you still keep in touch with the most successful ones @TedShifrin
 
heya mr @Pedro :)
some keep in touch with me, mr eyeglasses, others don't ... I saw some students at my retirement party I hadn't seen in 20+ years.
 
Hello, Ted.
 
2:24 AM
Hi @PedroTamaroff how are you doing
 
one of these days, mr eyeglasses, you should watch some of my lectures and learn the multivariable analysis stuff
 
hi @TedShifrin
 
heya @Karim
 
@morphic Bit tired.
 
@TedShifrin I don't understand why this school has this differential geometry course if they don't have a multivariate analysis or curves/surfaces course
 
2:26 AM
we're having another heat wave here, mr @Pedro ...
that has to be a graduate course, mr eyeglasses ...
they assume students learned the multivariate analysis and curves and surfaces elsewhere as undergraduates
 
@TedShifrin Oh noes. Is water still in short supply?
 
very, mr @Pedro
forest fires all over CA, OR, and WA
 
:(
 
You know, I was in California over part of the winter.
Choir trip.
 
Where is Smokey the Bear
 
2:27 AM
It felt like summer.
 
oh, mr @Pedro, I found someone to play tennis with (at least once) ... if I'm too terrible, he might not play with me again :D
well, @columbus, if you come back, let me know
 
I looked up the weather in Sydney, where it actually was summer, and it was hotter in LA (in winter) than Sydney (in summer)
 
or go to university in Cali
 
CA doesn't have usual seasons ... although, with global warming, things are changing
 
My brother might move to CA one day.
(Hollywood.)
 
2:30 AM
@TedShifrin Well, remember what I said. Don't be too hard on yourself! =D
 
I really don't like LA that much, but I'll go visit a few times
 
How diverse is CA, climate-wise?
 
But, mr Pedro, my bridge partner and I won big today ... so that was fun :P
 
(And I'm safe in assuming you do not mean Louisiana here, right?)
 
northern CA and southern CA quite different climates, @columbus ... and inland, there's almost desert conditions
in places
yes, you're safe
@columbus: Did you have a dog named Columbus once?
 
2:31 AM
No, but you're not the first person to ask me that.
I chose it at random.
 
well, you know why we're asking
 
Yeah
Columbus ate my homework
I literally meant Christopher Columbus. I was being very random.
And it stuck. Almost all places I join, I join with the username columbus8myhw
 
well, I'm leaving for a while
 
bubye
 
2:36 AM
@TedShifrin I don't like calculating gazillion derivatives and products for curves in space. It's too tortuous.
 
Speaking of, is there a formula for the gazillionth derivative of $\tan x$?
A formula for $\dfrac{d^n}{dx^n}\tan x$?
or $\sec$
$\sec$ might be easier
 
Yes, look up Eulerian numbers.
$\tan x+\sec x =\sum_{n\geqslant 0} (-1)^nE_{n} x^n/n!$.
 
Wouldn't that just give me $\left.\dfrac{d^n}{dx^n}\tan x\right|_{x=0}$, not $\dfrac{d^n}{dx^n}\tan x$?
 
Well, yes and no. You get a series.
 
2:49 AM
The point being you can differentiate a series easily.
 
3:03 AM
Does anyone have a favorite them in beamer? I'm not sure it makes a big difference, but if there is an "industry standard" that I ought to adhere to, I probably ought to learn about it now... :)
favorite theme* in beamer
 
I have no idea what beamer is.
 
@Pedro: You talking about Frenet formulas ? Not fascinating, but a necessary skill to pass my course (for non-arclength-param curves).
 
A document class in latex commonly used for presenatations
 
Yeah, latex for slides ...
 
@Clayton Oh. I use TeX, but lately I've been using amsart.
Ah, presentations.
Never wrote one of those.
 
3:06 AM
I halfway wish I weren't; I present in a couple of weeks and don't feel nearly prepared enough.
 
A couple of weeks means two or more? You should be fine! =)
 
I'm not the best student haha. I feel outclassed just about everywhere (here included). I'll be happy if I can just finish and get a PhD by the end of the program...has anyone else felt that way?
 
@Clayton Don't know. I think competition is healthy but overdoing oneself is usually better.
 
@Chris'ssistheartist WOw gosh your cool..... Can you show me the steps on how you found the part $$\int_0^{\infty} \frac{(\pi+1)\sin x}{(x-\pi)x^{3/2}}$$
 
3:44 AM
I have a problem that has the solution to it given, but I don't understand the solution. It's an analysis problem
I need to show that this system is a complete system in $L^2[0,\pi/2]$:

$\sin((2n-1)x)$ for $n=1,2,3,\cdots$
The very first thing they write in the solution is:

Assume that $\int_0^{\pi/2} f(x) \sin(2k-1)x dx =0$ $k=1,2,\cdots$. Is there a typo on the brackets, and where does this $f(x)$ come from?
 
3:59 AM
Nvm I think I can see, we are just finding a function such that it is orthogonal and there is a typo, and when we find the function we use a lemma
all good
 
Mew
Can someone pls
help
 
4:18 AM
user image
4
 
@SohamChowdhury lol
 
Mew
4:39 AM
help me
 
4:59 AM
Okay nevermind about me getting it, I am confused again
@TedShifrin Can you help me show that the above system is complete?
 
5:15 AM
This "answer" should be deleted. The author didn't even understand the question. But what's worse it got 11 upvotes while completely missing the point. Not even close, this one.
 
 
1 hour later…
6:43 AM
Welcome @MartínForsbergConde :-)
 
 
1 hour later…
7:56 AM
@RudytheReindeer The way I see it, the OP correctly identified the cycles, so the answerer then focused on how to write a cycle as a product of transpositions (which is also a part of the original question).
So I do not think that it should be deleted.
In any case, if you think it should be, you can always vote to delete. And there is also a separate chatroom related to deletion/undeletion, closing/reopening etc.
 
hi - off topic algebra. Is there another way to see that the exponent of the group $G=(\mathbb{Z}/ 77\mathbb{Z})^{\times}$ is 30 other than using the fact that $G\cong \mathbb{Z}/10\mathbb{Z} \times \mathbb{Z}/6\mathbb{Z}$ (where the latter is a product of additive groups)?
 
@TheSubstitute According to Wikipedia it seems that this can be reformulated as: How to calculate the value of Carmichael function $\lambda(n)$?
(I did not know this result. But Wikipedia seemed like a reasonable place to look.)
 
@MartinSleziak thanks. this is an old algebra qual problem, so I'm trying to avoid using unfamiliar number-theoretic functions.
 
@TheSubstitute that seems to be -the- way. why do you want a different way?
 
8:17 AM
that's not what I wanted to ask.
ok, redo : can you give me an example of an affine algebraic variety which cannot be open covered by Zariski open sets, all isomorphic to some $\Bbb A_k^n$?
 
@anon I was hoping for a technique that would apply to a larger class of groups.
 
there is no generic technique to find order of an arbitrary group with a given presentation.
 
@TheSubstitute the problem is testing your particular knowledge of unit groups methinks
@BalarkaSen dunno
 
i think something like $XZ = Y^2$ should work. there is no neighborhood of the point $(0, 0, 0)$ isomorphic to $\Bbb A_k^2$, I think.
so the next question would be, what about smooth varieties?
 
one thing is that subsets of A_k^n needn't be isomorphic to the whole thing, unlike with real manifolds and R^n
 
8:24 AM
yeah. just take a 1-dimensional subvariety of A_k^2!
what i am trying to prove is that for any affine variety $V$, there is a surjective regular map $V \to \Bbb A_k^n$ which has finite fibers. i.e., every affine variety appears as a branched cover of $\Bbb A_k^n$.
now if every reasonably nice variety can be covered by Zariski open sets, all isomorphic to some $\Bbb A_k^n$, then pick a finite subclass of the cover (possible, because compactness), and build the map $V \to \Bbb A_k^n$ by mapping each of the open set in the cover by the isomorphism. this is clearly surjective, and has finite fibers too (as the subclass we chose was finite)
 
9:22 AM
@BalarkaSen Your "reasonably nice" seems like a rather strong requirement, actually
 
I think so too.
 
@BalarkaSen Can you help me with a functional equation?
 
@BalarkaSen But obviously the first step should be to prove it for affine varieties
 
what functional equation, @Mats?
 
I don't know yet. I have only stated it as an analogy.
 
9:25 AM
@Tobias when I mean "variety", I mean "affine variety". I am not familiar with any other vatieties yet.
 
@BalarkaSen Ahh
 
You think it's true for affine varieties?
 
@BalarkaSen No idea. I assumed it was an exercise you had been given
 
This:
$$\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Gamma(1-s)\ \zeta(1-s)\;\;\;\;\;\;\;\;\;\;(1)$$
is to:
$$\chi(s)=\pi ^{-\frac{s}{2}} \Gamma \left(\frac{s}{2}\right) \zeta (s)\;\;\;\;\;\;\;\;\;\;(2)$$
as this:
$$p(s)=-\frac{a^{-s} (-a + a^s)}{(-1 + a^s)} \times p(1 - s)\;\;\;(3)$$
is to what?
 
no, it's a speculation of mine. Mike said it's morally a good definition of variety, and something along that line is given in Milne (apparently it's something about ringed spaces, though)
 
9:31 AM
With the requirement that $$\text{what}(s)=\text{what}(1-s)$$
 
@MatsGranvik oh, I see, you want to find a $P(s)$, in a similar vain as $\chi$, so that $(3)$ can be written nicely as $P(s) = P(1-s)$.
 
@BalarkaSen yes exactly
 
just distribute the - sign and a^-s up top and put the denominator on the LHS
 
yeah, what anon said.
 
@anon what does the word distribute mean here?
 
9:34 AM
as always, I mean use the distributive property
$-a^{-s}(-a+a^s)=(a^{1-s}-1)$
you should get $(-1+a^s)p(s)=(-1+a^{1-s})p(1-s)$
so you know what your what(s) is
 
ok thanks
 
btw do you know of another meaning the word "distribute" @MatsGranvik in math :-)
 
@Rigor No I don't. I am still learning mathematics at the age of 38. I began studying mathematics when I turned 30.
 
Just checking pal ;-)
Cool.
 
@TheArtist I used some of my research results.
 
9:49 AM
@BalarkaSen which one is morally a good definition?
 
An affine variety is something such that every point on it has a Zariski open neighborhood isomorphic to some affine $n$-space.
 
@BalarkaSen For a fixed $n$?
 
This is made rigorous using the language of ringed spaces in Milne.
yeah.
 
Hmm, so in the language of ringed spaces that means that it has a cover where the sections are polynomial rings
 
@TobiasKildetoft Algebraically, what I am trying to say is about the same as the statement that if $V$ is an affine variety, $x \in V$, then there is some Zariski neighborhood $U$ of $x$ such that the localization $k[V]_U$ is the polynomial ring $k[x_1, \cdots, x_n]$ where $x_i \in k[V]_U$ are $k$-algebraically independent.
I am not sure how much true this is.
@TobiasKildetoft exactly.
 
9:56 AM
So essentialy you want to pick a neighborhood such that the localization makes any "related" variables associated
 
yeah.
 
@Chris'ssistheartist oh i see....
@Chris'ssistheartist :)
 
(and at some point you will need to use that $k$ is algebraically closed or you might only get a polynomial ring of the form $K[x_1,\dots,x_n]$ for some extension field $K$ of $k$)
 
Please check this out :
3
Q: Why is $1+2+3+\cdots = 0 $?

shivamsI had seen this result a while back in a Numberphile video: $1+2+3+\cdots = -\frac{1}{12}$ I was trying to prove the same result using a different method when I accidently proved that the sum was 0!! I am unable to find out what mistake I have made. Or is it that perhaps the sum is not reall...

 
$k$ is algebraically closed, sorry for not mentioning that.
 
9:58 AM
@BalarkaSen I always assume to be working over an algebraically closed field when speaking of varieties
 
Is this true for "singular" varities though? Intuitively, I think not (even though I don't know what singular means)
yeah, algebraic geometry over non-algebraically closed fields apparently loses a lot of information
 
@BalarkaSen A singular variety is one with a point where the tangent space has a different dimension than the variety
 
yes, and I don't know what a tangent spaces is :)
yet.
 
@BalarkaSen Well, removing that requirement (algebraically closed) is basically what schemes are for
 
ah.
 
10:00 AM
@BalarkaSen A typical example of a singular space is a curve with a cusp, since the "point" has tangent space of dimension $2$, and the curve has dimension 1
 
yeah, I know of such examples. I just don't know how to define a tangent space in the context of varieties :)
 
But yeah, the definition of tangent space is slightly tricky for varieties, though it is also fairly intuitive once you get used to it
(I would not actually be able to write up the definition without looking it up)
 
@TobiasKildetoft heh. I figured it's a bit tricky.
a cool thing I heard recently is that you can tell which point is singular or not by checking whether the stalk of the structure sheaf at that point is regular.
 
@BalarkaSen But the idea is of course that it should be the set of lines "tangent" to the point, and lines are a type of polynomials.
@BalarkaSen That sounds right
 
@TobiasKildetoft Out of curiosity, are tangent lines defined classically just as hyperplanes isomorphic to A^1? i am not sure if that'd be good. how to define "tangentiality"? I don't think you can distinguish between traversal and tangential intersection of two subvarities of a generat variety, can you?
 
10:07 AM
@BalarkaSen I am not that familiar with the classical definitions, but I don't think so
 
10:48 AM
@TheArtist I answered under whacka. The manipulations are hiding the fact that they are deleting 0s from divergent series, which is not generally valid under summability methods. It is however valid under zeta regularization, which is how 1+2+3+...=-1/12 is achieved, but under that regime there is no means of simplifying the subtraction at the very end.
 
hi @BalarkaSen
 
hi @morphic
how did your topology class go?
 
@BalarkaSen Fine
We are reviewing point-set
 
i see. nice.
 
11:06 AM
is there an easy way to divide a circle into fifths with a pen & compass?
even divisions are simple enough
 
Try the Euclid game.
 
@Rigor I am unfamiliar with this?
 
Aug 23 at 20:46, by Kasper
> Euclid: The Game gamifies the 2300 years old book "The Elements" written by the ancient Greek mathematician Euclid in Alexandria.

> Euclid's Elements has been referred to as the most successful and influential textbook ever written. The first level of the game is exactly the first theorem of this ancient book. Throughout the levels you unlock constructions, once you prove you are able to make them.

> The web game (http://euclidthegame.com) is played by 500.000 users in in 213 different countries, we hope that as much people will enjoy the much improved iOS game (to be released september
 
11:37 AM
hi, @Soham.
i have clarified what i meant by the galois theory comment in the other room, you might want to see it.
 
 
1 hour later…
12:39 PM
@DanielFischer Hi, how goes it?
 
@TheArtist what you asked me to do is usually done by complex analysis.
 
@Moses Having a headache.
 
@DanielFischer Okay won't trouble your headache with Operator Theory. Don't think that will help :)
 
1:28 PM
@JackD'Aurizio I don't see how that question was a duplicate of 1+2+3+...=-1/12. The OP had their own calculation of 1+2+3+..=0 and specifically requested an explanation of what they did wrong, an explanation not present in the old one.
 
1:48 PM
@MartinSleziak I think the question (including the title) asks specifically for disjoint cycles. It is a very common question about permutation groups. Writing a permutation as product of transpositions on the other hand -- I have never seen before. Of course the answer won't be deleted, no matter how beside the point it is. Wrong answers never get deleted by mods. But I can still utter my thoughts here and they are still that this answer is bad enough to be purged from the site.
 
@RudytheReindeer I don't understand why you think the answer is wrong or beside the point. Yes, writing permutations as products of disjoint cycles is a common question, and the OP did that successfully. OP is also tasked with writing the permutation as a product of transpositions - which is a common textbook problem - and in order to do that, it suffices to know how to write cycles as products of transpositions, since the OP already knows how to express the permutation as a product of cycles.
amWhy gave two methods for writing a cycle as a product of transpositions (didn't really explain them, but gave illustrative examples for the reader to extract the pattern from). She also noted that being odd/even and having odd/even order are distinct concepts, which was important to put to the OP.
 
2:14 PM
Hi. I added a bounty tohttp://mathoverflow.net/questions/208020/probability-of-many-overlapping-zero-‌​inner-products-on-a-circle but no comments or answers!
Is it just something that math knows nothing about?
 
empirically, to test if math knows something about a problem, one puts the problem to a sufficient sample of experts. whether or not enough people have read the question (and been interested in it enough to think about it) to say "math knows nothing about it" is shaky.
 
2:41 PM
@Balarka: You don't want to cover it by opens isomorphic to affine space. You want to be able to cover it by opens isomorphic to an open subset of affine space.
Complex geometry analogue: you need your charts to be open subsets of $\Bbb C^n$, otherwise you can't make the open unit disc into a complex manifold!
And it is true that you can cover by open subsets of affine space.
 
@anon Thank you. I would really like to know if experts think it is too hard or too boring
It seems very hard to tell which when you get no comments
What would be your guess?
 
3:05 PM
Okay here goes my proof :
So we have
$x_1e_1+ x_2e_2 +x_3e_3 \cdots +x_ne_n$. I have to get scalars $x_1,x_2\cdots x_n$ such that they equal $\{a_1,a_2,\cdots a_n\}$ where $a_i\in \Bbb{Z}$ . So now if I let $x_1=a_1,x_2=a_2, \cdots ,x_n=a_n$ (I can do this elements of $\Bbb{Z}$ are scalars), the linear combination with the standard basis vectors will give me $\{a_1,a_2,\cdots a_n\}$ . So a linear combination of $e_i$'s will give me the n tuple of integers .
Hence proved@Balarka
 
3:30 PM
Hello@Ted
 
3:43 PM
Hi @Remember ... I don't quite know what that's a proof of, btw. Your sentences are sort of garbled.
 
@Balarka A question in informal spirit: Can we say stuff about $\mathcal{E}(A,B)$ where $\mathcal{E}(A,B)$ means the set of all exact sequence between two groups $A$ and $B$ where the short exact sequence should be of the form
$A\to N \to B$ where $N$ is an abelian group
@Ted well I am trying to show that $\Bbb{Z}^n$ is generated by the basis vectors in order to find a homomorphism between $\Bbb{Z}^n$ and some abelian group $A$
 
some abelian group $A$?
goodnight @MikeM
 
No.. I mean how every homomorphism between $\Bbb{Z}^n$ to an abelian group A might look like. Sorry for the error
Actually what I am trying to do is :
 
Morning.
 
You need to get a precise statement here, @Remember. What do we know about said abelian group?
 
3:51 PM
If $N \to A \to \Bbb{Z}^n$ is a short exact sequence then $A \cong N \oplus \Bbb{Z}^n$ @Ted
 
By the way, @Remember, you're talking about group extensions up there ^^^, but most often they are not again abelian.
 
Well as you can see this is a direct application of the splitting lemma
 
Yes, right, because $\Bbb Z^n$ is free, the short exact sequence splits. Have you proved that splitting is equivalent to getting a direct sum decomposition?
 
Yes Balarka told me there is a generalized idea of the splitting lemma for groups which are not specifically abelian
 
I think you should be learning more basic stuff. You guys keep going off into these technical areas way too soon.
 
3:53 PM
Yes I am . I was just discussing splitting lemma with Balarka , what it does , why it does etc.
 
@Ted: Any thoughts on the higher-dimensional case of that complex geometry question?
 
No, @MikeM, I haven't thought about math (other than trying to figure out Eric's question going back to some stuff I wrote two years ago).
 
Did you answer that for him? He messaged me about it but I was losing reception.
 
Connect sum is a weird notion to try to make sense of in the holomorphic category, @MikeM. I mean, I don't even know how to define it.
Well, I think he's just missing a basic point-set point there, @MikeM, although, to be honest, as I said in my answer, I think it's a case where Guillemin screwed up his hint. I'm proud of my spiral example to understand what's going on.
 
You can't. We're just trying to figure out if $M \# N$ can admit a holomorphic structure.
It doesn't have to respect the originals.
 
3:58 PM
hey@Karim
 
gotcha @MikeM.
 
Hi @Rememberme
sorry just got back
 
I'm guessing $\#^2\Bbb{CP}^{2n}$ never does. Dunno how.
 
how r you doing
 
I mean it's a ridiculously hard question (see $S^6$) to decide whether a smooth manifold admits a complex structure :P
 
3:59 PM
0
Q: Another integral related to Fresnel integrals

Chris's sis the artistHow would we prove this result by real methods ? $$\int_0^{\infty } \frac{\sin \left(\pi x^2\right)}{x+2} \, dx=\frac{1}{4} \left(\pi-2 \pi C\left(2 \sqrt{2}\right)-2 \pi S\left(2 \sqrt{2}\right)+2 \text{Si}(4 \pi ) \right)$$ As you can easily see, Fresnel integrals are involved. What are yo...

 
Good. So what kind of maths have you been doing these days?@karim
 
00:00 - 16:0016:00 - 00:00

« first day (1850 days earlier)      last day (3161 days later) »