Is the span of all invertible functions equal to the span of all functions?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite
2












In Koopman analysis, any non-linear dynamical system can be exactly represented as an infinte dimensional linear operator acting on a Hilbert space of all functions. I am looking to prove that the same property holds (or doesn't hold) when you look at only invertible functions.



I think this comes down to the question of showing equality between the span of invertible functions and the span of all functions - but I am not really familiar with how to do this, or if this is even a well posed question as I have presented it







share|cite|improve this question

















  • 2




    I don't know anything about Koopman theory, but: 1) by "Hilbert space if all functions", you mean "Hilbert space of all square-integrable functions"? 2) By "invertible", you mean "vanishing nowhere"? 3) The "space" of invertible functions is not a vector space.
    – PhoemueX
    Jul 24 at 4:05










  • 1) I don't think I mean just square-integrable functions although I think this set of functions does span the same space. 2) By invertible I mean that there exists a $g$ such that if $f(x) = y$, $g(y) = x$ which probably means vanishing nowhere and that $f$ is bijective. 3) I don't think this is a problem since I am not trying to span the space of invertible functions. The goal is to span the (infinite dimensional) space of all functions using an (infinite dimensional) basis set of invertible functions.
    – Robert
    Jul 24 at 18:30














up vote
4
down vote

favorite
2












In Koopman analysis, any non-linear dynamical system can be exactly represented as an infinte dimensional linear operator acting on a Hilbert space of all functions. I am looking to prove that the same property holds (or doesn't hold) when you look at only invertible functions.



I think this comes down to the question of showing equality between the span of invertible functions and the span of all functions - but I am not really familiar with how to do this, or if this is even a well posed question as I have presented it







share|cite|improve this question

















  • 2




    I don't know anything about Koopman theory, but: 1) by "Hilbert space if all functions", you mean "Hilbert space of all square-integrable functions"? 2) By "invertible", you mean "vanishing nowhere"? 3) The "space" of invertible functions is not a vector space.
    – PhoemueX
    Jul 24 at 4:05










  • 1) I don't think I mean just square-integrable functions although I think this set of functions does span the same space. 2) By invertible I mean that there exists a $g$ such that if $f(x) = y$, $g(y) = x$ which probably means vanishing nowhere and that $f$ is bijective. 3) I don't think this is a problem since I am not trying to span the space of invertible functions. The goal is to span the (infinite dimensional) space of all functions using an (infinite dimensional) basis set of invertible functions.
    – Robert
    Jul 24 at 18:30












up vote
4
down vote

favorite
2









up vote
4
down vote

favorite
2






2





In Koopman analysis, any non-linear dynamical system can be exactly represented as an infinte dimensional linear operator acting on a Hilbert space of all functions. I am looking to prove that the same property holds (or doesn't hold) when you look at only invertible functions.



I think this comes down to the question of showing equality between the span of invertible functions and the span of all functions - but I am not really familiar with how to do this, or if this is even a well posed question as I have presented it







share|cite|improve this question













In Koopman analysis, any non-linear dynamical system can be exactly represented as an infinte dimensional linear operator acting on a Hilbert space of all functions. I am looking to prove that the same property holds (or doesn't hold) when you look at only invertible functions.



I think this comes down to the question of showing equality between the span of invertible functions and the span of all functions - but I am not really familiar with how to do this, or if this is even a well posed question as I have presented it









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 24 at 0:15









Anonymous

4,8033940




4,8033940









asked Jul 23 at 23:54









Robert

9110




9110







  • 2




    I don't know anything about Koopman theory, but: 1) by "Hilbert space if all functions", you mean "Hilbert space of all square-integrable functions"? 2) By "invertible", you mean "vanishing nowhere"? 3) The "space" of invertible functions is not a vector space.
    – PhoemueX
    Jul 24 at 4:05










  • 1) I don't think I mean just square-integrable functions although I think this set of functions does span the same space. 2) By invertible I mean that there exists a $g$ such that if $f(x) = y$, $g(y) = x$ which probably means vanishing nowhere and that $f$ is bijective. 3) I don't think this is a problem since I am not trying to span the space of invertible functions. The goal is to span the (infinite dimensional) space of all functions using an (infinite dimensional) basis set of invertible functions.
    – Robert
    Jul 24 at 18:30












  • 2




    I don't know anything about Koopman theory, but: 1) by "Hilbert space if all functions", you mean "Hilbert space of all square-integrable functions"? 2) By "invertible", you mean "vanishing nowhere"? 3) The "space" of invertible functions is not a vector space.
    – PhoemueX
    Jul 24 at 4:05










  • 1) I don't think I mean just square-integrable functions although I think this set of functions does span the same space. 2) By invertible I mean that there exists a $g$ such that if $f(x) = y$, $g(y) = x$ which probably means vanishing nowhere and that $f$ is bijective. 3) I don't think this is a problem since I am not trying to span the space of invertible functions. The goal is to span the (infinite dimensional) space of all functions using an (infinite dimensional) basis set of invertible functions.
    – Robert
    Jul 24 at 18:30







2




2




I don't know anything about Koopman theory, but: 1) by "Hilbert space if all functions", you mean "Hilbert space of all square-integrable functions"? 2) By "invertible", you mean "vanishing nowhere"? 3) The "space" of invertible functions is not a vector space.
– PhoemueX
Jul 24 at 4:05




I don't know anything about Koopman theory, but: 1) by "Hilbert space if all functions", you mean "Hilbert space of all square-integrable functions"? 2) By "invertible", you mean "vanishing nowhere"? 3) The "space" of invertible functions is not a vector space.
– PhoemueX
Jul 24 at 4:05












1) I don't think I mean just square-integrable functions although I think this set of functions does span the same space. 2) By invertible I mean that there exists a $g$ such that if $f(x) = y$, $g(y) = x$ which probably means vanishing nowhere and that $f$ is bijective. 3) I don't think this is a problem since I am not trying to span the space of invertible functions. The goal is to span the (infinite dimensional) space of all functions using an (infinite dimensional) basis set of invertible functions.
– Robert
Jul 24 at 18:30




1) I don't think I mean just square-integrable functions although I think this set of functions does span the same space. 2) By invertible I mean that there exists a $g$ such that if $f(x) = y$, $g(y) = x$ which probably means vanishing nowhere and that $f$ is bijective. 3) I don't think this is a problem since I am not trying to span the space of invertible functions. The goal is to span the (infinite dimensional) space of all functions using an (infinite dimensional) basis set of invertible functions.
– Robert
Jul 24 at 18:30















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860884%2fis-the-span-of-all-invertible-functions-equal-to-the-span-of-all-functions%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860884%2fis-the-span-of-all-invertible-functions-equal-to-the-span-of-all-functions%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?