Definition talk:Bilinear Functional

From ProofWiki
Jump to navigation Jump to search

"Let $ y_1$, $ y_2$, $ z$ be mappings, belonging to some normed linear space." Does this mean that the linear space in question is some space of mappings? This has to be made much more precise, it's not clear at all whether e.g. this coincides with the definition of bilinear forms in linear algebra. --barto (talk) 11:37, 30 April 2017 (EDT)

Indeed this definition should be improved. The context of this definition was calculus of variations, hence function space is the most probable candidate, although the statement in question is a quote from the source, and I am not experienced enough to narrow down or expand the definition to required rigour yet. Julius (talk) 14:37, 30 April 2017 (EDT)
Okay. If we can't tell what it is about precisely, it's very hard to integrate your work with the existing pages. It would be very nice if you managed to make everything transparent you find in this book, which, as it seems, may indeed do well with some clarification. Good luck! --barto (talk) 14:44, 30 April 2017 (EDT)
I know. This topic has been inspired by my background in physics, but as the development progressed I noticed that the chosen book was not the best choice. I still have three chapters left, and afterwards I am planning to review all of this as well as compare and complement with material from other sources, hopefully, with clearer definition. At least this connects to the classical problems of brachistochrone, largest area with fixed perimeter etc. and some basics of Lagrangian/Hamiltonian mechanics, so there is some potential there, but for purer fields of maths I think a solid base of functional analysis is needed. In that aspect this category should be quarantined from the rest for now. Julius (talk) 07:01, 1 May 2017 (EDT)
Ok, no problem. Happy to see you're aware of the difficulties. --barto (talk) 07:24, 1 May 2017 (EDT)