Share this thread: 
#19
Apr1405, 12:01 PM

Sci Advisor
P: 2,751

Anyway don't take that last post too seriously, it was a windup and I did really know that he meant positive integer. :) 


#20
Apr1505, 09:22 AM

P: 127

Grimey I see it now.
The trick isn't to diagonalize the matrix the trick is to write it out in the form [tex]A=PUP^{1}[/tex] where U is upper triangular (I'll post how you know you can do this later). Then the Trace of A^r is just the trace of U^r since A is just a conjugate of U. And of course the trace of U^r=0 is the same as [tex]\sum_i d_i^r=0 [/tex] where [tex]d_i[/tex] are the diagonal elements. Then Hurkyl had the right idea when he said you could find an r such that [tex]d_i^r[/tex] has positive real part. In fact what you can say is that given any finite set of nonzero complex numbers and any [tex]\epsilon>0 [/tex] there exists a positive integer r such [tex]Arg(d_i^r) < \epsilon [/tex]. This is either an analysis statement or a number theory statement depending on your interpretation. So U is upper triangular and has a 0 diagonal. There fore [tex]A^{n1}=PU^{n1}P^{1}=P0P^{1}=0[/tex] where A is nxn. So two big statements still to be proven if anybody wants to do them (upper triangulation and [tex]Arg(d_i^r) < \epsilon [/tex] or I will write them up when I'm not supposed to be busy working on something else. How about a new problem. Lets call a subset A of [0,1] paired if [tex]0,1\in A[/tex] and for every pair [tex]a,b \in A [tex] such that [tex] a<b [/tex] and [tex] ba \ne 1 [/tex] there exists another pair [tex]c,d \in A[/tex] such that [tex]c<d[/tex] and [tex]c\ne a[/tex] and [tex]dc= ba[/tex]. Sounds very complicated but all it says is if a set is paired then every distance between points, except 1, occurs twice. An example of a paired set is {0,1/5, 2/5, 4/5, 1}. Notice that the difference 1/5 appears 3 times, 2/5 appears twice and 3/5 appears twice but the difference 1 appears only once. Alright, here's the question. Are there any finite (only contains finitely many elements) paired sets such that there exists an irrational number in the set. Give an example or prove why not. I will be really impressed if you use Euclidian Geometry. Regards, Steven 


#21
Apr1505, 10:11 AM

Sci Advisor
HW Helper
P: 9,397

Firstly, you do not need to "prove " it can be put in upper triangular form, this is Jrodan Canonical form.
Whilst you ceratinly have the right idea, please note GOkul's rule that you must wait for me to say if it is correct before posting a new question. I would like to see you, or anyone else, prove that if d_1,..,d_n is a set of complex numbers such that the sum of all the r'th powers is zero for all r, then all the d_i are zero. Please note this statement is true in any field, not just C. The reason I would like to see it is that I think its proof (or at least the one in my mind) is nice, not because I think it is hard. FOr a hint think Newton. 


#22
Apr1505, 11:12 AM

P: 127

hmm... I can't do it for a field in general but I can do it for the comlex numbers by induction.
I will prove that given a finite set [tex]d_1, d_2, ...,d_n[/tex] of nonzero complex numbers and [tex]\epsilon>0[/tex] then there exists a positive integer r such that [tex]Arg(d_i^r) <\epsilon [/tex] Base case Start with [tex]d_1 \ne 0 [/tex] and [tex]\epsilon>0 [/tex]. Then take N>0 such that [tex] 2\pi/N < \epsilon [/tex]. Let [tex]c_r = Arg(d_1^r)[/tex]. So there exists an i,j such that [tex] 1 \le i < j \le N [/tex] and [tex]dist(c_i, c_j) < \epsilon [/tex] (note that the distance function I am using is distance between angles on the unit circle so [tex]dist(3\pi /4, 3\pi /4) = \pi/2[/tex]) This is easy to see since there are N angles that can be reordered such that [tex]c_{\sigma (1)}\le c_{\sigma(2)}\le ...\le c_{\sigma(N)} [/tex] so [tex]dist(c_{\sigma (1)}, c_{\sigma(2)}) + dist(c_{\sigma (2)}, c_{\sigma(3)}) + \ldots + dist(c_{\sigma (N1)}, c_{\sigma(N)})+ dist (c_{\sigma (N)}, c_{\sigma(1)}) \le 2\pi [/tex] so since dist is positive there exists [tex] dist(c_{\sigma(k)}, c_{\sigma(k+1)}) \le 2\pi/N < \epsilon[/tex]. So since [tex]dist(c_i, c_j) <\epsilon[/tex] then [tex]dist(c_{i1}, c_{j1}) <\epsilon[/tex] then [tex]dist(c_{1}, c_{ji+1}) < \epsilon[/tex] then [tex]dist(0, c_{ji}) < \epsilon [/tex]. So [tex]r=ji[/tex]. Inductive step is straight forward. Given [tex]d_1,\ldots, d_{n+1} \ne 0 [/tex] and [tex]\epsilon >0[/tex], [tex]1/N < \epsilon[/tex] take r' such that [tex]Arg(d_i^{r'}) < \epsilon/N [/tex] for [tex] 1 \le i \le n [/tex]. Then as in BaseCase there exists an r, [tex]1\le r\le N[/tex] such that [tex]Arg( (d_{n+1}^{r'})^r) < \epsilon [/tex] and ofcourse [tex] Arg(d_i^{r'\cdot r}) < r\cdot\epsilon/N <\epsilon [/tex] So with the above in mind and given a finite set of complex numbers none equal to zero. Take r [tex]Arg(d_i^r) < \pi/2 [/tex]. So [tex] Re(d_i^r) >0 [/tex] so [tex]Re(\sum d_i^r) >0 [/tex]. Which contradicts [tex] \sum d_i^r =0 [/tex]. There fore if [tex]\sum d_i^r =0 [/tex] for all r then [tex]d_1=d_2=\ldots =d_n=0[/tex] I am curious about how to do this for a general field though. Sorry about jumping the gun posting my question but I really happen to like that question since it doesn't necessarily use the math you expect it would. 


#23
Apr1505, 11:27 AM

Sci Advisor
HW Helper
P: 9,397

You certainly get to ask that as the next question, and I won't post the answer to it, but I'd like to get this one cleared up.



#24
Apr1505, 12:16 PM

P: 127

Hmm... does the general solution have something to do with taking a field F and n dimensional vector space F^n over F. Then taking the linear functional g: F^n > F st
g(f1,f2,...,fn) = f1+f2+...+fn. Concluding that the kernel of g must be at most n. But if a1^k + a2^k +... +an^k =0 for all k>1 then (a1^i, a2^i,..., an^i) is orthogonal to (a1^j,...,an^j) using the standard dot product. So either (a1^k,...,an^k) for k from 1 to n is a spanning set or one of the vectors is a 0 vector. If it were a spanning set then the whole space is in the kernel so 1+0+0+...+0 =0 which doesn't make sense. So ai^k =0 for all i. But then ai=0 because a field is a domain. Can you do that? Can you always use the standard dot product to show orthogonality to show that the set is a spanning set? I think I may have to assume the conclusion to be able to do that. Man I've got to stop thinking about this and get back to work. 


#25
Apr1505, 12:24 PM

Sci Advisor
HW Helper
P: 9,397

That isn't what I'd've done, and I'm not sure it'dve worked in anything other than char 0.
The hint to think about what Newton and polynomial might yield has been ignored, so far. 


#26
Apr1505, 12:31 PM

P: 127

sigh... clearly mine doesn't work once if I put a little thought into it. [1,1,i,i] would be self orthogonal under the standard real dot product which doesn't make sense.



#27
Apr1505, 02:13 PM

P: 127

When you mentioned characteristic 0 did you mean that my method wouldn't work in noncharacteristic 0 (evidently it doesn't even work in characteristic 0) or that the theorem as a whole doesn't hold in noncharacteristic 0 fields. Because I don't think it does.



#28
Apr1505, 03:13 PM

Sci Advisor
HW Helper
P: 9,397

I meant that your inner product idea deosn't hold since the vector (1,1) dots with itselt fo give 0 in char 2. And now I think abouit it the char of the field does need to be restricted: it cannot divide the numbre n if d_1,..,d_n are the diagonal elements of the matrix.
Right, This is getting far too long and complicated. I think we need an extra rule: no "working through the problem in thie thread". INstead for each new problem a new unsticky thread ought to be started for people ti discuss things in if they so wish. The answer is: the functions [tex] d_1^r + \ldots +d_n^r[/tex] for r = 0 to n is a generating set of the fixed point space of the ring k[d_1,..,d_n] under the action of S_n permuting the subscripts (newton's identities). Or they span the symmetirc polynomiials. Thus if they all (except the zeroeth powers) evaluate to 0 at some point, then alll symmetric polynomials do (except the constants). In particular, the poly d_1d_2..d_n the product of all of the d_i's. Since this is over a field, it follows that wlog d_1 is 0 and the result follows by induction (this fails if the char of the field divides n, eg n=2, 0=x+y=(x+y)^2 = x^2+2xy+y^2=2xy, so fails in char 2) Now, snoble, you had the right idea, so could you repost you problem. And suggested answers only in the thread, eh? 


#29
Apr1505, 04:26 PM

P: 127

Lets call a subset A of [0,1] paired if [tex]0,1\in A[/tex] and for every pair [tex]a,b \in A [/tex] such that [tex] a<b [/tex] and [tex] ba \ne 1 [/tex] there exists another pair [tex]c,d \in A[/tex] such that [tex]c<d[/tex] and [tex]c\ne a[/tex] and [tex]dc= ba[/tex]. Sounds very complicated but all it says is if a set is paired then every distance between points, except 1, occurs twice. An example of a paired set is {0,1/5, 2/5, 4/5, 1}. Notice that the difference 1/5 appears 3 times, 2/5 appears twice and 3/5 appears twice but the difference 1 appears only once.
Alright, here's the question. Are there any finite (only contains finitely many elements) paired sets such that there exists an irrational number in the set. Give an example or prove why not. Steven p.s. I will post hints only when asked p.p.s. Your answer needs a little bit of a repair matt. You are actually looking at the subring of the fixed point space that maps (0,0,...,0) to 0. Since you don't have that [tex]\sum d_i^0 =0[/tex]. Just in case you ever plan on giving this out on an assignment. 


#30
Apr1605, 06:01 PM

Emeritus
Sci Advisor
PF Gold
P: 11,155

Reposting the standing question (from snoble, above) for clarity :
Lets call a subset A of [0,1] paired if [tex]0,1\in A[/tex] and for every pair [tex]a,b \in A [/tex] such that [tex] a<b [/tex] and [tex] ba \ne 1 [/tex] there exists another pair [tex]c,d \in A[/tex] such that [tex]c<d[/tex] and [tex]c\ne a[/tex] and [tex]dc= ba[/tex]. Are there any finite (only contains finitely many elements) paired sets such that there exists an irrational number in the set. Give an example or prove why not. Open to all enthusiasts ! People that recently asked a question are requested to give others a little time (say, a day or two) before jumping in themselves. 


#31
Apr1705, 10:06 AM

P: 1,116

The Bob (2004 ©) 


#32
Apr1705, 10:13 AM

P: 367

Can you construct a finite set of that kind, so that it includes an irrational number? (My guess is no, but I'm a long way from proving it.) 


#33
Apr1705, 11:01 AM

Sci Advisor
P: 2,751




#34
Apr1705, 01:01 PM

P: 127

That's the question alright. An example of a paired set is {0,1/5,2/5,4/5,1}. Yes, two pairs can share a member; this example requires that since 2/5=4/52/5=2/5 0. So to reiterate can you find a paired set that is both finite and contains an irrational. Or show why one can't exist.



#35
Apr2005, 11:47 AM

P: 352

Here is a new question.
Why is the answer to life the universe, and everything = 42? How was this derived? :rofl" 


#36
Apr2005, 02:37 PM

Sci Advisor
HW Helper
P: 3,684

...at least according to Douglas Adams. 


Register to reply 
Related Discussions  
Help with game theory (specific knowledge in game theory probably not required)  Calculus & Beyond Homework  4  
Fun math game  General Discussion  20  
Math guessing game.  General Math  33  
GROOVY math game  General Discussion  17 