Re: Representation of Analytic Functions



In article
<22538649.1141325833854.JavaMail.jakarta@xxxxxxxxxxxxxxxxxxxxxx>, Maury
Barbato <mauriziobarbato@xxxxxxxx> wrote:


No. You are essentially trying to find a surjective
map from R^n (the
space of all c_n's) to the space of analytic
functions (on the real
line, I presume). However, the latter space is
infinite dimensional
(e.g. the functions 1,x,x^2,... are all linearly
indpendent). So it will
be impossible to find a surjective map onto it from
the finite
dimensional space R^n.


Why?

What you say is true, but "infinte dimensional" is
not the reason.


Are you saying that the answer to my original question
is No?

There is no continuous map. R^n is sigma-compact, but the space of
analytic functions is not.


There is a surjective map from the one-dimensional
space [0,1]
onto the infinite-dimensional space [0,1]^T, with T
countably infinite.

--
G. A. Edgar














http://www.math.ohio-state.edu/~edgar/

My Best Regards,
Maury

--
G. A. Edgar http://www.math.ohio-state.edu/~edgar/
.



Relevant Pages

  • Re: Well Ordering the Reals
    ... >> in my map to P, requiring something to map to N does NOT mean ... > naturals, Pwill contain all possible subsets ... Let's say they are uncountably long, without end, truly infinite. ... In reality, the power set is indeed bigger, ...
    (sci.math)
  • Re: Pointless Topology
    ... we agree infinite cofinite spaces depict the difference. ... In view of the identification of frame morphism with principal prime ideals, ... Moreover, if X is T1, then r is your map. ... the observation that a group is a special kind of monoid or that a field ...
    (sci.math)
  • Re: Binary Tree and Pairs of Nodes
    ... The INFINITE part of the binary tree IS ... the root is 1, the ... So you say you have a mapping of every path to a node. ... You do not map My path to 1, because whichEVER path YOU mapped to 1, ...
    (sci.logic)
  • Re: Binary Tree and Pairs of Nodes
    ... The infinite path 0.000... ... Each path by an infinite sequence of such branchings. ... map each NODE to at MOST ONE path. ... But it constructs, FROM YOUR mapping, a path that IS NOT IN YOUR ...
    (sci.logic)
  • Re: infinity ...
    ... > Did I not give what appears to be a valid bijection between the NUMBERS in *N ... If "*N" is a set, in the sense of normal set theory, then no you ... element of Pwhat element of *N was supposed to map to it. ... infinite' leaves the problems to the mumbled dots at the end. ...
    (sci.math)