Zulip Chat Archive

Stream: new members

Topic: Random projection on subspace

Nicolò Cavalleri (Dec 05 2021 at 19:20):

I have a normed vector space E and a subspace S and I want to write a "random" (not in any probabilistic sense) projection from E to S. I don't have that my space is complete nor that the field is R or C but I actually do not care that the projection has anything to do with the orthogonal projection, any projection is ok. What is the easiest way to do that?

Kyle Miller (Dec 05 2021 at 19:28):

Are you wanting a projection as a hypothesis, or do you want to show one exists?

Anatole Dedecker (Dec 05 2021 at 20:11):

I would use docs#submodule.exists_is_compl

Anatole Dedecker (Dec 05 2021 at 20:12):

And docs#submodule.linear_proj_of_is_compl

Last updated: Dec 20 2023 at 11:08 UTC