« first day (3009 days earlier)      last day (2309 days later) » 

00:00
I would think that's desirable
It does seem geometrically natural.
Since simple rotations aren't penalized.
wut does it mean to measure the deviation of the jacobian to the identity matrix
I meant $\|J - I\|$
But yeah the reason I'm not fond of it is that it only does projective varieties, not affine at all, so that makes it much up kinda weirdly with how we're doing things
why is J square
00:02
Demonark: It makes a lot to get used to at once ... plus you don't get any local intuition.
Eric: $f\colon\Bbb R^2\to\Bbb R^2$.
oh ok
i thought we were talking like a general f:R^k \to R^n parameterized situation
Yeah, still need practice with working with affine charts and how things work when you pass to Zariski closure
but now that makes more sense
I'm agreeing with you, Demonark.
I think Benson likes this book because it does the Hilbert polynomial early
00:04
Well, you need projective for that.
from the maple help system:

The conversions from the various coordinate systems to cartesian coordinates in 3-spaceare given as follows (note that the author is indicated where necessary):
bipolarcylindrical: (Spiegel)
a sinh(v)
x = ----------------
cosh(v) - cos(u)
a sin(u)
y = ----------------
cosh(v) - cos(u)
z = w
But yeah I'll probably use either Gathmann or Shafarevich to supplement the stuff
I think you could take the pointwise distance to $SO(n)$
It is a nice theorem that if $\nabla f \in SO(n)$ at every point then in fact $f$ is an isometry
I was mentioning the $QR$ decomposition earlier, @Mike.
ie is linear
00:07
why would it ever be necessary? and seriously why name it after the first person to print the functions in a paywalled journal it's so much more logical to name things according to associative meaning
@MikeMiller You mean distance to the nearest rotation in $SO(n)$?
Yeah, @user76284, that's what distance to a closed set means.
i don't know what nearest projection means
but maybe that's what i mean
oh, nearest rotation, he meant
Yeah. Sorry if this is a dumb question but how do you compute such a thing?
00:08
I don't compute! :)
I don't know if $QR$ gives that or not.
In theory :-)
in theory, you ask a practitioner
QR decomposition? I'll look into it.
00:09
so many damn decompositions
@MikeMiller is this true if u say a.e. or is that a false thing
yup
it's false for $O(n)$ though :)
fold map
wild dude
i think its due to liouville
but im the WORST about knowing actual references
I dunno.
00:12
who it's due to?
look if he keep asking you to compute something contact the admins and they will arrange for a new word or category theory terminology to be invented and copy and pasted to him, if he continues after that just ban the guy from chat you shouldn't have to put up with that
the alternative is just a general "I dunno" which is also always an appropriate response
Mike, I literally dunno.
I wasn't doubting you.
No, I was trying to understand what "I dunno" referred to
Your source or non-source. :)
00:13
Aha
Oh very cool, guys. Kudos on this.
that's a sick result i wanna see a proof
i cant believe i hadnt heard it
I'm back from crying over the amount of school work I have to complete before the end of the semester.
@MikeMiller Looks like it's this: people.csail.mit.edu/bkph/articles/…
00:17
@TedShifrin that’s what I thought, too. One more thing: why do we need to know that the region $|z| \leq R$ is compact to deduce it has a minimum?
i dont have sympathy for anyone complaining about the amount of work they have to do
it will always get worse
@MikeMiller Fine, I was just looking for attention anyway.
@Lucas: For the same reason that continuous functions on non-closed intervals needn't take on max/min.
dang i guess you got me then
played like a fiddle
tfw in owning someone it is u who in fact, got owned
00:20
Ayyy B)
Are there multiple ways to prove that, for a function f:X→Y, we always have A ⊂ B ⇒
f(A) ⊂ f(B)? I only found one.
@CaptainAmerica16 I gave you attention and you implied you wanted to stop responding
@Adam No, that was bad attention. The kind you get from strangers that stand too close.
5
If we define closure of a set as the smallest closed set containing that set, then how do we see closure actuallu exists and it is the intersection of all closed sets containing our original set?
$f(x+\mathbb Z)=e^{2\pi x i}$ is an isomorphism. $\mathbb Z$ is the integers, a subgroup of $\mathbb R$, and $x \in \mathbb R$ en.wikipedia.org/wiki/Group_isomorphism
LOL
@user330477 the intersection of all closed sets containing ur original set is 1. closed (obviously) 2. contained in all closed sets containing ur set (also obvious) so it's the smallest
00:32
@EricSilva You are showing that the usual definition implies the definition involving smallest. I want show it in the other direction.
no, i showed two things are equal no nonsense about two directions
@EricSilva But I need to show first that the closure actually exists when defined as the smallest closed containing the given set.
yes, you do that by writing down the intersection and showing it's the smallest.
@EricSilva How do show that closure actually exists if it is defined to be the smallest closed containing the given set? This is to be done before the other question.
you should think about what i said harder. I already said how to do it.
00:48
@TedShifrin I don't actually know what a closed subset really is. (In the sense that I may read the definition but the intuition won't come up, so I'll have no grip to work with compactness and stuff)
01:46
Is it necessarily true that if you have some surjective morphism $f:V\to W$ where $V$ is a variety and $W$ is some irreducible variety, that some irreducible component of $V$ must map onto $W$?
I would know it's true if I knew the image of a variety was a variety, which isn't true in general but I think might hold under assumption of surjectivity
I'm assuming your varieties are not irreducible. As stated, if you take the disjoint union of two affine lines covering $\mathbb{P}^1$ then you get a counterexample.

If you want this to be connected, then you can just imagine drawing some affine line joining the two lines, mapping to a point on $\mathbb{P}^1$
Err, all varieties here are affine
Then do the same thing with, $W=\mathbb{A}^1$, $V$ to be disjoint union of two $\mathbb{A}^1 - \{0\}$
So what exactly is the morphism here? Also how is $\mathbb{A}^1\setminus \{0\}$ a variety? That would imply that $\mathbb{A}^1$ is disconnected
Maybe it's more suggestive to say that $\mathbb{A}^1 - \{0\} \sqcup \mathbb{A}^1-\{1\}$

The morphism is $\mathbb{A}^1 - \{0\} \sqcup \mathbb{A}^1-\{1\} \rightarrow \mathbb{A}^1 $ given by inclusion of the two open sets.

$\mathbb{A}^1 -\{0\}$ is a variety because it is isomorphic to $V(xy-1)$ in $\mathbb{A}^2$!

hmm I'm not sure why you deduced that $\mathbb{A}^1$ is disconnected
02:01
@AkivaWeinberger Probably no one cares, but I just stumbled across Ramsey's Theorem. I think it is conceptually related to that puzzle I was posing. I'll have to dig into this later and get an intuitive grasp on Ramsey Theory and then dig into my puzzle again.
I was thinking of it as a subvariety of $\mathbb{A}^1$
(Oddly, my puzzle is the reverse of Ramsey's Theorem in a way, because the order I describe definitely appears in small instances, and I can't prove whether it also appears in large instances.)
So that's why I was like uh are you sure?
Intuitively you should always think complex analytically, so $\mathbb{A}^1 - \{0\}$ is the complex plane with a point removed!
Ah - well all subvarieties of $\mathbb{A}^1$ are points so I didn't mean that :p
Yeah, I guess I'm always used to thinking of subvarieties of a specified space rather than varieties just sitting out there
02:04
Yeah I actually noticed how awkward this is when teaching algebraic geometry recently -
in fact when I say that $\mathbb{A}^1 - \{0\}$ is a variety is isomorphic to ... you should be a little bit cautious here too - $\mathbb{A}^1 -\{0\}$ apriori is just a set - so it doesn't really make sense to say "isomorphic"
For the purpose of your question you can replace $\mathbb{A}^1 - \{0\}$ by $V(xy-1)$ in $ \mathbb{A}^2$ and do the same argument

but perhaps to make things a little bit clear -- you might learn later the definition of varieties in general (or maybe just quasi-projective varieties - which are open subsets of projective varieties), and morphisms between varieties (quasi-proj varieties) --- then with this you can genuinely say that $\mathbb{A}^1 -\{ 0\}$ is isomorphic (as varieties) to the affine variety $V(xy-1) \subset \mathbb{A}^2$
Oh and - $V(xy-1) \rightarrow \mathbb{A}^1$ is given by the projection map $(x,\frac{1}{x}) \mapsto x$

Then, actually, you can just take the union with the line $\{ (0,y) \} \subset \mathbb{A}^2$ and project to $\mathbb{A}^1$ -- maybe this is simpler
Alright so, just to be sure of what you're saying, we send an element of $V(xy-1)$ to $x$, this is a polynomial map since it restricts a projection. Then you take $V((x-1)(y-1) - 1)$ to $x$ as well, and yeah rip
Yeah
Well this breaks our whole argument :'(
rip
If $f(x,y) \in \mathbb{C}[x,y]$ is such that $f(x,x^2)=0$, then $f=0$ polynomial.
02:13
The idea was that you defined the dimension of an irreducible variety to be the length of the longest chain of irreducible subvarieties, and wanted to show that if you have a surjective morphism, then the dimension of the domain is larger than that of the image
And we were like, okay well, take a chain $W \supsetneq W_{n-1} \supsetneq \ldots \supsetneq W_0 = *$, then $f^{-1}(W_{n-1})$ is a variety... not an irreducible one though... maybe one of its irreducible components surjects?
And yeah apparently not
hmm why do you want it its irreducible components to surject?
The idea was to prove it by inducting on the dimension of $W$
So if you knew one of the irreducible conponents surjected, then you could just say perfect, that guy has dimension $n-1$ by the induction hypothesis
ah
Call that guy $V_{n-1}$, then you have a chain of irreducible subvarieties $V_{n-1} \supseteq \ldots$, and then $V$ sits on top of that chain
Yeah then you need to be slightly careful -- but I think this line of argument can be made correct
02:30
0
Q: Prove that $A=\{x\in X:$ there is a simple chain consisting of members of $\mathscr O$ that connects $a$ and $x\}$ is open

Math geekLet $(X,\mathscr T)$ be a topological space and let $a,b \in X$. A simple chain connecting $a$ and $b$ is a finite set $U_1,U_2,...,U_n$ of open sets such that $a\in U_1\setminus U_2$, $b\in U_n\setminus U_{n-1}$, and each $i,j=1,2,...,n, U_i\cap U_j \neq \emptyset$ iff $|i-j|\leq 1.$ Let $\m...

Maybe but I'm losing faith quickly, since we no longer have any good candidate for an irreducible subvariety of $V$ that maps onto $W_{n-1}$.
I'll probably try to see if there's some way to see it by prime ideals in the coordinate ring
Actually yeah now that I think abou tit
*about it
Err
Hmmmmmm
Is an injective unary operation necessarily surjective?
03:40
How do I find the area in between these two curves $f(x) = sin(2x)$ and $g(x)= sin(-2x)$ between $ -\pi \leq x \leq \pi$
$\int_{a}^{b} |f(x)-g(x)| dx$
Is the best way to approach this problem kind of graphically. Graphically thinking I know that there will be 4 equivalent regions and thus If I find the intersection and integrate w/ those bounds then multiply by 4 I shoulda arrive upon the answer.
@SharathZotis What is $\sin(-x)$?
Is there a better way?
@user76284 sin(-x) is simply -sin(x)
So what is $f(x) - g(x)$?
Nope
Wrong sign
$f(x) - g(x) = \sin(2x) - \sin(-2x) = ?$
03:45
oops its simply 2sin(2x)
Yep
So when is $f(x) - g(x) = 0$?
lol, Im an idiot; thanks
$f(x) -g(x) = 0$ ?
So you know when $f(x) - g(x)$ is positive, and when it's negative
Since you're taking the absolute value
Alternatively you can just think about when $2 \sin(2x)$ is positive and when it is negative.
03:47
well $f(x) -g(x)$ will never be 0 will it?
What do you mean?
When is $2 \sin (2x) = 0$?
When $\sin(2x) = 0$
And when is the sine of an angle equal to zero?
when x is 0 or
or...?
when x is $pi/2$
$\pi/2$
If we're talking about $\sin(2x)$, yes
In general, just think about the fact that the sine is the height of a point at a given angle to the x axis.
So when is $\sin \theta = 0$?
03:49
$\pi$ and at 0
Where $\theta$ can be any real number.
Where else?
Think: One half turn, and then another, and then another, ...
thats it isnt' it
at 0 degrees and 180 degrees
What about 360 degrees?
What about -180 degrees?
yes but arent those isomorphic really
360 degrees is pretty much the same as 0 degrees right?
Remember, we're not restricting ourselves to $0 \leq \theta < 2\pi$. We're considering all possible values of $\theta$.
So what's the most general answer?
Hint: $\sin \theta = 0$ when $\theta$ is an integer multiple of ...
03:52
oh I see, so then the most general answer is when $\theta$ is a multiple of 180
You should use radians rather than degrees.
But yes, $\pi$. Or 180 degrees.
so in radians it is $\pi$
Exactly. $\sin \theta = 0$ if and only if $\theta = k \pi$ for some integer $k$.
Therefore, going back to our original expression, $\sin 2x = 0$ if and only if what?
Just substitute $2x$ for $\theta$ on the left-hand side.
03:54
$x = 2k/\pi$ for some $k \in \mathbb{Z}$
You flipped a fraction there.
sorry long day $k\pi/2$
Perfect.
So $2 \sin 2x = f(x) - g(x) = 0$ if and only if $x = k \pi/2$.
So we know it's going to switch signs every $\pi/2$
You said we're interested in $-\pi \leq x \leq \pi$
03:57
right
What's the value at $x = 0$?
Of $f(x) - g(x) = 2 \sin 2x$
Right. What about for some small positive value of $x$? Is the sign positive or negative?
the sign should be positive
Right
Here's a graph of $f(x) - g(x)$:
See how you only need to integrate from 0 to $\pi/2$ and multiply by four?
Since the function is periodic
04:01
I see
So we're interested in $4 \int_0^{\pi/2} 2 \sin 2x \,\mathrm{d}x$
Or $8 \int_0^{\pi/2} \sin 2x \,\mathrm{d}x$
thank you so much @user76284
Np. Can you figure out the integral?
Yup
looks like a simple u sub
16
wait nvm 8
Hmm, not quite.
Yeah
That's the answer
Any differential geometers online?
05:01
@TedShifrin I just got 100% on a calculus quiz because I practice diligence now. I also drank two cups of coffee and double checked every problem.
05:22
that's great, so long as you're not just about to go to bed
(it's midnight here)
05:34
Eventually I'll become a coffee addict but start consistently waking up at a sane time
howdy
@Daminark coffee doesn't work for me anymore :(
guess after enough of it you become more tolerant to it
Zee
Zee
How is (covariant derivative with VF z) DZ a (1,1) tensor? Shouldn’t it be a 1 covariant tensor
NM I get it
06:10
@CaptainAmerica16 Congrats!
07:01
@CaptainAmerica16 super speaking of super, because government superannuation funds are legal does this also mean that armed robbery is now legal provided nobody notices it's happening? I mean chloroform or ether seems the go and I realise that drugging someone is wrong and of course, id never need to for any sexual assaulty reasons
never do so*
 
1 hour later…
08:16
You can't say Euler's theorem because that's already on my desk
has to be something else
08:28
Hey guys, if X_1, X_2 are independent random variables, their joint density is the product of the densities. Then for any random variable X=(X_1,X_2), the distribution of X would simply depend on the limits of integration of the joint density right? But for any X, the joint density that we integrate over would be the same. Is that correct?
Is it possible to say that a graph has a hamiltonian cycle if its hamiltonian connected?
09:15
fine it's actually $$\forall k \in {\{1,2,3,...,\varphi(n^2+n-1)}\} $$
$$n^{k-1} -(n-1)\Bigl\lfloor \frac{n^k}{(n-1)n} \Bigr\rfloor-1+\delta(n-1,1)=0$$
It seems that we have a flagfest here.
9
flag*1/(flag) = 1
Hey guys!
I have another inane question about Math.SE... There's quite a few questions which go like "my friend gave me this problem". Do people really do that? Give their friends math problems to solve?
Or is this a cultural thing? Maybe "my friend asked me to solve this" means something else entirely? I'm lost
09:34
@YuriyS My suspicion is that most of those are really homework and the person is trying to hide it.
But on the other hand, I have on several occasions ended up scribbling on napkins and similar over dinner due to people posing various mathematical riddles for the others.
09:53
@YuriyS Yes.
@YuriyS Could be, not sure.
10:05
oh btw if you evaluate for $k=\varphi(n^2+n-1)+1$, the first value greater than the maximum element of the finite set the relation specifies, watch how enormous the values get so quickly as n is increased. That's why Euler's theorem is so important to large number factorization
10:19
what is $\log ({n \choose k})$ in big Oh notation?
Help?
https://math.stackexchange.com/questions/2977401/can-this-strange-implicit-matrix-equation-be-solved
Please check this: any abelian group $G$ is solvable.
I am using this definition of solvable group, as given in Dummit and Foote's text:
A group $G$ is solvable if there is a chain of subgroups $1=G_0\trianglelefteq G_1\trianglelefteq \ldots\trianglelefteq G_s=G$ such that $G_{i+1}/G_i$ is abelian for $i=0,1,2,\ldots,s-1$.
So, since if $G$ abelian, then $1\trianglelefteq G$ and $G/1$ abelian hence solvable. Am I right?
if I select k integers from the range 1 ... n, how many bits are needed to represent that set?
You can easily avoid the division by zero error from the former by adding the additional delta function as seen in the enumeration below

$$n -(n-1)\Bigl\lfloor \frac{n^2}{(n-1+\delta(n,1)))n} \Bigr\rfloor-1+\delta(n-1,1)=0,0,0,0...,0$$
$$n^{2} -(n-1)\Bigl\lfloor \frac{n^3}{(n-1+\delta(n,1)))n} \Bigr\rfloor-1+\delta(n-1,1)=0,0,0,0...,0$$
$$n^{3} -(n-1)\Bigl\lfloor \frac{n^4}{(n-1+\delta(n,1)))n} \Bigr\rfloor-1+\delta(n-1,1)=0,0,0,...,0$$
$$.$$
$$.$$
$$.$$
$$n^{\varphi(n^2+n-1)-1} -(n-1)\Bigl\lfloor \frac{n^{\varphi(n^2+n-1)}}{(n-1+\delta(n,1)))n} \Bigr\rfloor-1+\delta(n-1,1)=0,0,0,...,0$$
@Silent Yes, that is right
10:34
thank you:)
@Anush Well, there is the easy bound of $n^2$, right?
Hi,
Does anyone know what it does mean if there is a propability with multiple variables, sperated by commas, before the condition ?
I have searched for conditional densitiy probability but I cannot find anything...

$P(x_k, m | Z_{0:k}, U_{0:k}, x_0)$

Or for which different key word could I continue my search ?
(actually, also bounded by minimum of $nk$ and $n(n-k)$)
@TobiasKildetoft also k \log_2{n}
@TobiasKildetoft but why is $\log_2{n \choose k} \leq k \log_2{n}$ ?
@Anush that sounds way too small to me.
10:36
@TobiasKildetoft you can just list the k integers. Each integer needs log_2{n} bits to represent
ohh, woops, I forgot to actually use the log
so yeah, minimum of $klog(n)$ and $(n-k)log(n)$
but I don't understand why $\log_2{n \choose k} \leq k \log_2{n}$
because the binomial is bounded by $n^k$
And probably we can't do much better due to Stirling
oh I see
is k log{n/k} more accurate answer?
that does not really change the asymptotics, since you are just subtracting something
10:40
true
but say k is close to n
@Anush are you referring to a total quantity of binary digits necessary? I recommend looking at Kummer's theorem for $p=2$, also the summation of the digits of each element of the subset will be related to the 2-adic valuation of both $n$ and $k$ I would predict. But the selection of "any" $k$ elements will involve the binomial coefficient no doubt, but I wont guarantee Kummer's theorem will apply directly
@TobiasKildetoft k = n/\log{n} for example
@Anush Then you use the $(n-k)$ version anyway
@TobiasKildetoft I can't tell if that is asymptotically the same as k log{n/k}
@Anush If $k$ is close to $n$ then replacing $k$ by $n-k$ is a better bound
10:42
@TobiasKildetoft understood.. I am trying to verify a claim however
the specific claim is that $\log_2{n \choose k} \in \Omega(k \log_2{n/k})$
right, with that $k$ you improve the bound by replacing $n$ by $n/k$ even inside the log.
cool.. I will believe the claim in that case :)
(I can never recall what the Omega means)
10:44
:)
"grows at least as fast as"
10:59
Is there a way to find how many maximal trees a graph has?
@AkivaWeinberger number of spanning trees?
That's the word
if you google for that you will get the answer
you want an algorithm, right?
Ah, there's a section on the Wikipedia page on it
0
Q: Inverse of sum of two marices, one being diagonal and other unitary.

Rajesh Dachiraju$C = A+D$, $A$ being square matrix and $D$ a diagonal matrix. Is there any easy way to compute $C^{-1}$ from $A^{-1}$ and $D$ Edit 2: (important edit) Iam interested in this question, because my matrix $A$ is huge and so is $C$. So computing inverse of $C$ is not practical, but luckily the matri...

11:25
@Anush how can k be close to n, when you are talking about big O notation?
@ypercubeᵀᴹ k could be n/log n
for example
Is there a way in mathematica or wolfram Alpha to calculate line integral, volume integral, surface integral?
@Anush big O describes the behaviour when n tends to inifinty. So we can assume that k is constant unless it is explicitly specified.
An unbiased dice is tossed until a number greater than 4 appears. What is the probability that an even number of tosses is needed?
11:41
40% ;)
@ypercubeᵀᴹ you are right, how did you solve it?
I feel that it should be 1/6
because tossing the dice and number of tosses are independent events
You add the probabilities that you need 2,4,6,8,... tosses
why is my method wrong?
What is your method?
$P(A\cap B)= P(A)P(B)= \dfrac 12 \times \dfrac 26 = \dfrac 16$
11:46
Form a geoometric progression
1 min ago, by Abcd
because tossing the dice and number of tosses are independent events
@jeea thanks, but whats wrong in my approach?
Then you will get PO = 2/3(PE)
What exactly is the Euclidean measure on the unit sphere in $\Bbb{C}^n$?
...
@jeea heh, nice. You don't even need the geometric progression, nice!
11:48
can someone please tell me my error!?
$PO = 2/3 PE$ and $PO + PE = 1$
never mind. Bye.
@Abcd how did you get that 1/2 ? What does it stand for?
@ypercubeᵀᴹ do you know how to use wolfram alpha or mathematica to evaluate surface or line integrals
@jeea no, sorry
11:53
ok
@ypercubeᵀᴹ Oops sorry I was trying to say PE = (2/3)PO
@jeea yes, right! I didn't notice but the idea is good
12:19
Hi chat.
12:38
hi
13:23
Could anyone tell what they mean by "balanced ternary expression" here?

> "Devise an algorithm for finding the greatest common divisor of two positive integers using their balanced ternary expansions."

This is from number theory elementary by rosen. I was unable to find the answer on Google.
2
Thanks
oh nice
but I still do not know how to solve this question @ÍgjøgnumMeg :/
I'm at work so I cannot help, give it a go and then ask a question on the main site if you get stuck
ok thanks
13:55
@GaurangTandon balanced ternary?
oh, maybe like how would you do it in binary?
but instead using base three, but not 0,1,2 as digits but -1,0,1 as digits
hmm
so I know the bin gcd algo
but not sure how to extend it for odd?
eg in (unbalanced ternary: 0,1,2,10,11,12,20,21,23,100,101,...121 = 9 + 2*3 + 1= 17
that had mainly relied on parity of the two operands
assuming you're talking about this en.wikipedia.org/wiki/Binary_GCD_algorithm
@GaurangTandon right...what happens in binary gcd? gcd(a,b) = if a =0 mod 2 then... else if a = 1 mod 2 do...
@Mitch there's four cases i believe
13:59
presumably the structure of the algorithm is if a = 0 mod 3 then..., if 1 mod 3 ..., if -1 mod 3 then...
what is the fourth case?
@Mitch i was saying that in binary gcd there's four cases - both odd, one even one odd, one odd one even, both even
in balanced ternary, 0 = 0, 1 = 1, 1-1 = 2, 10 = 3, 11=4, 2-1 = 5,... -1=-1, -11 = -2, -10 = -3, I think
by that extension in ternary gcd there should be nine cases
@GaurangTandon oh
nice to see you in here pal
14:02
@Ted also, even if I understand compactness, I’ll probably need much more topology and complex analysis to get why a compact (and closed-bounded, which is Heine-Borel that I’ll still have to learn) set must have a minimum/maximum on its image.
@user1414 is that you, sp?
@GaurangTandon I'm looking at the wiki version of binary gcd and ...
@LucasHenrique Not really. The argument is "Image of compact set is compact". And compact means closed and bounded in R.
So not only do you have an upper bound, closed means you have a least upper bound in your set.
@GaurangTandon I don't think so. in the binary gcd, you get 4 cases: divisible by 2 or not, for both vars. I think the analogy remains for base 3:
gcd(3a,3b) = 3 gcd(a,b) (obvious)
gcd(3a,3b+/-1) = gcd(a,3b+/-1),
gcd(3a+/-1,3b) = gcd(3a+/-1,b) (3 is not a common divisor of either)
oh...maybe a little more complicated...
gcd(3a+/-1,3b+/-1) = gcd((a-b)/3,3b+/-1) (the difference eliminates the mod so divisible by 3)
gcd(3a+/-1,3b-/+1) = gcd(...,...) no reduction at all, just subtract smaller one from bigger?
14:15
Can I have a hint on this question? "Assume that $f$, an orientation-preserving homeomorphism of the circle, has a unique fixed point. Find the $\omega(x)$ and $\alpha(x)$ limit sets for $x\in \mathbb{S}^1$."

I figure that if $p$ is the fixed point, then $\omega(p)=\{p\}$. But I am not sure what I can say about the non-fixed points.
0
Q: About question of fundamental theorem of arithmetic

ninja hatoriA product of nonzero integers whose absolute values are $<p$ will have the property that all its prime factors are $≤p−1$. I know that Composite Number has Prime Factor not Greater Than its Square Root. But how this solve the above problem.

@MikeMiller isn’t compact = “coverable” with finite open covers?
@Mike thanks. Can you help me with this specific proof of FTA?
@LucasHenrique That is not a precise statement. Anything can be covered by a single open set: the whole space. It is about reducing arbitrary open covers to finite open covers.
And Heine-Borel is precisely the statement that that is equivalent to "closed and bounded" in $\Bbb R$, or even $\Bbb R^n$.
For a fixed real $R$ and a complex polynomial $f$, we choose the region $S = \{z \in \Bbb C: |z| \leq R\}$. Why does $\{|z|: x \in S \land z = f(x)\}$ have a minimum?
@MikeMiller yep. I’m sorry, I have no idea of how topology works.
14:34
0
Q: On short exact sequences and splitting lemma

ninja hatoriSuppose F is an abelian group. Suppose $F$ injects into $F'$ and we know that there is a well-defined homomorphism between $F''$ and $F' $ from $F'$ to $F''$. Also, we know that $F$ $\cong$ $F''$; then how to show that it is left split.

@GaurangTandon did my suggestions help?
14:46
@TobiasKildetoft I want left split only.
Hello, I hope this is the right chat for this question. I have problems solving a multiple choice question (i.e. should be solvable under 3min):

"The sequence of numbers u1, u2, ..., u_n... is given by

u_1=2
u_(n+1)=p*u_n+3

where p is an integer.

The fourth term u_4 is equal to -7

What is the value of u_1 + u_2 + u_3 + u_4 ?

A: -10
B: -2
C: -1
D: 8
E: 26"


Does someone have an "efficient" way of solving this problem?
For this I am asking; I know there is a map from W(Q) to W(R) which is morphism. @TobiasKildetoft
@Mitch sorry i went out for dinner
i'll review the method in half an hour
@Ninjahatori Left and right split are the same for abelian groups
And being split via some map is stronger than what you wrote in that question.
Actually I want to know only that why they say via split exact we have direct sum decomposition right because of map W(Z) to W(Q) to W(F_(p)) is exact then can we say if f is map from W(Z) to W(Q) and
and t is map from W(Q) to W(R) ; also note that f is injective then can we say tq is the identity on W(Q) @TobiasKildetoft
* sorry tf is identity on W(Q)
if yes then how??
15:32
@FizzleDizzle Off the top of my head I don't see a quick trick to do it. I first tried w/o knowing $p$, ($u_4 = 2p^3 + ...$)
that looked crazy, so then I just tried $p=-1$ and that did not get $u_4 = -1$
then I tried $p=-2$ and that worked, and I had the other three values on the way, added them and got...
And thought, you're right, it felt very laborious, it took about 3 minutes, about 20 seconds worried that computing by hand would be a killer but in the end it turned out not terrible. Also maybe 10 seconds worried about the negative numbers which are scary because they make things flip around so wildly and easy to make mistakes.
I didn't see a pattern that would lead to an easy formula for partial sums. But if you're doing these all the time I wouldn't be surprised if there were one.
Can I say that the Fourier coefficients are ... orthogonal projection coefficients?
(kinda hard to pronounce but you get it)

« first day (3009 days earlier)      last day (2309 days later) »