Results 1 to 7 of 7

Math Help - Why this space is a Banach space?

  1. #1
    Newbie
    Joined
    Aug 2011
    Posts
    4

    Post Why this space is a Banach space?

    Hi. I have a space defined as follows:
    Let D be a bounded simply connected domain in C and let HC(D) be the space of all analytic functions on D which are continuous on Closure(D). How can I show that HC(D) is Banach W.r.s.p Sup norm on Closure(D)?
    Last edited by mghasemi62; August 5th 2011 at 04:05 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member girdav's Avatar
    Joined
    Jul 2009
    From
    Rouen, France
    Posts
    678
    Thanks
    32

    Re: Why this space is a Banach space?

    Let \{f_n\}\subset HC(D) a Cauchy sequence. Since D is simply connected, you can use Cauchy formula to show that the limit f is analytic.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Aug 2011
    Posts
    4

    Re: Why this space is a Banach space?

    Thank you for the help.

    I want to know that, is there any other norm which HC(D) can be Banach with that norm? For example is it Banach with ||f||=Sup|f^(k)(x)| k=0,1,... (x in closure(D)).
    If it is not then which norm I can use except norm ||f||=Sup|f(x)|?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member
    Joined
    Apr 2009
    From
    México
    Posts
    721

    Re: Why this space is a Banach space?

    For the first post, I'd like to note that the simply-connectedness is not necessary (instead of Cauchy/Morera use Cauchy's integral formula).

    For the other questions: The norms of the derivatives may not make sense unless you can control the derivatives at the boundary. On the other hand, Cauchy's estimates allow you to control all derivatives locally (away from the boundary), so in this spirit we have the norms

    \| f \| _{k, z_1, \ldots , z_k} = \sup |f| + \sum_{j=1}^k |f^{(j)} (z_j)|

    where  z_j \in \mbox{int} (D) are arbitrary (but fixed) points. Then all these are equivalent to the one you're given. At the moment I don't know if you can estimate the derivatives on all of  D with only the original function (For what it's woth my guess is no).

    Edit: In the definition of the norms, you can substitute the j-th term in the sum by the supremum of the j-th derivative in some (fixed) compact subset of the domain and the argument still works.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Aug 2011
    Posts
    4

    Re: Why this space is a Banach space?

    hmm. Good Idea. But still I have a problem !!?
    Last edited by mghasemi62; August 6th 2011 at 04:56 PM.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Aug 2011
    Posts
    4

    Re: Why this space is a Banach space?

    Sorry i'm a little confused. How can I prove the completeness with respect to your suggested norm.
    In the first post when I have define \sup norm on HC(D) I needed the uniform convergence of f_{n} to f, in order to use Cauchy/Morera theorem to prove that HC(D) is Banach w.r.p \sup norm. But now I don't have the uniform convergence with this new norm. How can I do it now? (Maybe I did it in a wrong way already)
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Super Member
    Joined
    Apr 2009
    From
    México
    Posts
    721

    Re: Why this space is a Banach space?

    Quote Originally Posted by mghasemi62 View Post
    Sorry i'm a little confused. How can I prove the completeness with respect to your suggested norm.
    In the first post when I have define \sup norm on HC(D) I needed the uniform convergence of f_{n} to f, in order to use Cauchy/Morera theorem to prove that HC(D) is Banach w.r.p \sup norm. But now I don't have the uniform convergence with this new norm. How can I do it now? (Maybe I did it in a wrong way already)
    The norms are equivalent so they have the same Cauchy sequences. To prove the first statement the Cauchy estimates are the key: We can find constants b,c>0 (dependent on k, and the z_j) such that

     b\sup |f| \leq \| f\| _{k,z_1, \ldots ,z_k} \leq c\sup|f|
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Banach space & Hilbert space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 24th 2011, 02:06 PM
  2. Banach space with infinite vector space basis?
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: March 24th 2011, 07:23 PM
  3. banach space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: June 24th 2010, 05:45 PM
  4. Banach space
    Posted in the Differential Geometry Forum
    Replies: 7
    Last Post: June 6th 2010, 01:22 PM
  5. Banach space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: January 26th 2010, 01:18 PM

Search Tags


/mathhelpforum @mathhelpforum