Results 1 to 2 of 2

Math Help - Proof about Separating Points, Vanishing, and Uniform Closure

  1. #1
    Member
    Joined
    Jun 2010
    Posts
    205
    Thanks
    1

    Proof about Separating Points, Vanishing, and Uniform Closure

    I'm wondering if I'm getting stumped here because of my limited familiarity with complex numbers. So if anybody sees what's going on, if you could answer with a mild hint/nudge rather than a full answer, I would appreciate it.

    The problem:

    Let K = the unit circle in the complex plane, and \mathscr{A} the algebra of functions of the form f(e^{i \theta}) = \displaystyle \sum^{N}_{n = 0} c_{n}e^{in \theta} for \theta \in \mathbb{R}. Show that A separates points on K.

    So my thinking: I want to take two points e^{ia} \ne e^{ib} and show that there is a function in A such that f(e^{ia}) \ne f(e^{ib}). Well, assuming N \geq M, then \displaystyle \sum^{N}_{n = 0} c_{n}e^{ina} = \sum^{M}_{m = 0} c_{m}e^{ima} \Leftrightarrow c_{1}(e^{ia} - e^{ib}) + ... + c_{N - M + 1}e^{i(N - M)a} + ... + c_{N}e^{iNa} = 0. So I want to show that this last equality fails.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Jun 2010
    Posts
    205
    Thanks
    1
    Actually, I think I see what I was missing: Since I am keeping the function fixed, what I want is to violate the last equality, \displaystyle \sum^{N}_{n = 0} c_{n}e^{ina} = \sum^{N}_{m = 0} c_{m}e^{ima} \Leftrightarrow c_{1}(e^{ia} - e^{ib}) + ... + c_{N}e^{iNa} = 0. Well. We can go ahead and choose arbitrary c_{2}, ... c_{n} so that everything after c_{1}(e^{ia} - e^{ib}) is now some constant, call it c. Since e^{ia} \ne e^{ib}, we can choose c_{1} to be anything such that c_{1}(e^{ia} - e^{ib}) \ne -c, thereby failing the desired equality and proving that the values of the functions at the points are unequal.

    No?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Closure Proof
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: September 18th 2011, 08:57 PM
  2. limit points of Aintersect B, closure of (AintersectB)
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: November 4th 2010, 04:26 PM
  3. [SOLVED] Calculating vanishing points with Linear Algebra.
    Posted in the Geometry Forum
    Replies: 1
    Last Post: July 19th 2010, 08:13 AM
  4. Replies: 3
    Last Post: April 10th 2009, 02:53 PM
  5. separating points algorithm
    Posted in the Math Software Forum
    Replies: 2
    Last Post: November 27th 2008, 12:14 PM

Search Tags


/mathhelpforum @mathhelpforum