Talk:Functional analysis

message: Functional Analysis is also used to refer to functionalism in Sociology and Sociocultural Anthropology. Judging from that other person's comment about Applied Behavior Analysis in Psychology, it would be easier to navigate and more informative if there was a disambiguation page (or at least one of those things at the top that says "redirected from disambiguation page") for people looking for information in those fields. I'm new to wiki and aren't quite sure how to do that though... help? 192.246.226.152 (talk) 21:27, 11 March 2007 (UTC)
replies: text: Functional analysis (sometimes "functional harmonic analysis" or "harmonic analysis") in music theory refers to the formal analysis of functional harmony, which doesn't yet have a dedicated article but AFAIK is a widely used term within the field. Confusingly, harmonic analysis is another unrelated concept in mathematics that's sometimes used to mean the same thing. Ormaaj (talk) 23:21, 21 December 2009 (UTC)
thread_title:  Disambiguation Page? 

message: The error was saying that the Hahn-Banach theorem requires the axiom of choice when it doesn't. Cwzwarich (talk) 02:25, 4 December 2005 (UTC)
replies: text: Are you sure? At Hahn-Banach theorem they say that it requires Zorn's lemma, which is the same as the axiom of choice. Oleg Alexandrov (talk) 02:29, 4 December 2005 (UTC)
replies: text:  Yes, I am sure. Two references are the two papers of Pincus from 1972: "Independence of the prime ideal theorem from the Hahn Banach theorem" - Bull. Amer. Math. Soc. 78, 766-770, and "The strength of the Hahn-Banach theorem", from the Proc. of the Victoria Symp. on Nonstandard Analysis, Lecture Notes in Math. 369, Springer, 203-248. Thanks for letting me know about the other page. I will correct it. Cwzwarich (talk) 02:36, 4 December 2005 (UTC)
replies: text:  According to my lecturer, for separable real normed vectors spaces you don't need the Axiom of Choice, but for complex non separable spaces you do. 80.6.80.51 (talk) 22:58, 8 February 2007 (UTC)

text: It says "... the Hahn-Banach theorem, usually proved using axiom of choice, although the strictly weaker Boolean prime ideal theorem suffices." It does not make sense since if the Boolean prime ideal theorem suffices, it suffices. It does not matter what people do usually on blackboard or in textbooks, the underlying mathematics remains the same. Temur (talk) 10:47, 1 March 2008 (UTC)
replies: text:  The boolean prime ideal theorem is taken as a replacement of the axiom of choice in some axiomatic systems for set theory.  Hence, literally, the underlying mathematics will be quite different.  Of course, if we are using ZFC, then there is no reason not to use the axiom of choice (in which case, there is no difference whether you use choice or the BPI). Silly rabbit (talk) 14:24, 1 March 2008 (UTC)
replies: text:  Ok. Thanks for the clarification. Temur (talk) 20:51, 1 March 2008 (UTC)
thread_title:  Hahn-Banach theorem 

message: In the "Foundations of mathematics considerations" section, there is a statement:
"Many very important theorems require the Hahn-Banach theorem, which relies on the axiom of choice that is strictly weaker than the Boolean prime ideal theorem."
However, I got confused when I followed the link to the "Boolean prime ideal theorem". On that page, it seems like it is the other way round, fx:
"Instead, some of the statements turn out to be equivalent to the axiom of choice (AC), while others, like the Boolean prime ideal theorem, represent a property that is strictly weaker than AC".
I don't know which is true, but to me it looks like there is some kind of contradiction. Alkelele (talk) 20:23, 15 May 2007 (UTC)
replies: text: BPI is strictly weaker than AxC, as its article says.  Hahn-Banach is equivalent to BPI, iirc. I'll change it, probably that's what the author meant, but wrote it wrong. John Z (talk) 03:15, 16 May 2007 (UTC)
thread_title:  Axiom of choice is strictly weaker than the Boolean prime ideal theorem ? 

message: Soft analysis redirects here, but nothing explains why or how this is considered "soft". The phrase itself is never used in the article.--Prosfilaes (talk) 17:09, 6 January 2010 (UTC)
thread_title:  Soft analysis 

message: I have removed the link added with the summary "See also: link to Anna Johnson Pell Wheeler (famous for theories on func. analysis". From Mac Tutor: "The direction of Anna Wheeler's work was much influenced by Hilbert. Under his guidance she worked on integral equations studying infinite dimensional linear spaces. This work was done in the days when functional analysis was in its infancy and much of her work has lessened in importance as it became part of the more general theory." That does not exactly translate as famous. If any links to persons were appropriate here, other names come to mind, such as Stefan Banach, etc. Jmath666 (talk) 00:09, 9 May 2010 (UTC)
thread_title:  [[Anna Johnson Pell Wheeler]] 

message: The new introduction (since December 21st) is rather long (almost 400 words), and includes a number of run-on sentences.  I'd be in favour of reverting to an earlier version, unless someone has a better idea. Jowa fan (talk) 03:07, 22 December 2010 (UTC)
thread_title:  Introduction: less is more? 

message: it's great, but I thought it could read a little different, when you say the structured set, it's not entirely clear if you mean the set of functions or the only sets you previously mentioned, the underlying sets over which the functions are defined. Brady, apr 3 2011  —Preceding unsigned comment added by 166.205.143.35 (talk) 00:32, 4 April 2011 (UTC)
thread_title:  Set of functions over sets 

message: Substituted at 02:07, 5 May 2016 (UTC)
thread_title: Assessment comment

message: Please review, cross edit, discuss, add and remove
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  Draft new lead 

message: In my opinion, this draft gives a biased view of functional analysis, and seems WP:Original synthesis. So, it cannot be used as a starting point for improving the article. 
The first two paragraphs are essentially my above suggestion, with many linking errors added, and formulation changes that destroy the intended meaning. Nevertheless, these two paragraphs are the only ones that are really related to the subject of the article. 
The last paragraph talks of finite dimentional vector spaces (which are not at all part of functional analysis), and considers the basic tools of functional analysis as "advanced examples".
The four other paragraphs contain many other similar conceptual errors. There are too many for being detailed here. Also, all four mention generalized functions, suggesting wrongly that they form the core of functional analysis.
So, in my opinion, this draft is definitely not useful. D.Lazard (talk) 12:58, 28 December 2020 (UTC)
thread_title: General comments and discussion

message: And then a section about history in the body reusing the content from the current lead
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title: Draft

message: Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  Extra reusable stuff 

message: ====First Paragraph ====
* First definition shall be short and sharp
* Removed references to functionals in the first definition: is referred to in the history section and is confusing and distracting. 
An operator is a generalized type of functional, that is, functions acting on functions. This can be either a composition of functions, linear, non linear, differential, integral etc.
* individual functions are specific cases of math applications related to things such as the zeta functions etc. This is not the generic setup of functional analysis/
* The core of functional analysis is  function spaces i.e. families of functions
* And Functional equations referred as third example
* The current lead confuses linear functional analysis with the overall functional analysis the recent focus is of course non linear and this non linear functional analysis is a first class citizen
* endowing with topology, metric and measure is also added later and separated out, where endowing is replaced with "choosen" . see below.
* The focus of infinite dimensional spaces only is too narrow, it's true that it gives peculiar properties but it is not the general setting: a problem to use a finite set of a function basis instead of the full basis and to use one part of one basis instead to approximate another full basis is crucial for numerical applications. Another example can be spin where the basis is usually finite dimensional.
This paragraph is attributed in a shared manner to D.Lazard with derivative work additions from me (i.e. additions and removals). 
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  Rationales 

message: * First definition shall be short and sharp
* Removed references to functionals in the first definition: is referred to in the history section and is confusing and distracting. 
An operator is a generalized type of functional, that is, functions acting on functions. This can be either a composition of functions, linear, non linear, differential, integral etc.
* individual functions are specific cases of math applications related to things such as the zeta functions etc. This is not the generic setup of functional analysis/
* The core of functional analysis is  function spaces i.e. families of functions
* And Functional equations referred as third example
* The current lead confuses linear functional analysis with the overall functional analysis the recent focus is of course non linear and this non linear functional analysis is a first class citizen
* endowing with topology, metric and measure is also added later and separated out, where endowing is replaced with "choosen" . see below.
* The focus of infinite dimensional spaces only is too narrow, it's true that it gives peculiar properties but it is not the general setting: a problem to use a finite set of a function basis instead of the full basis and to use one part of one basis instead to approximate another full basis is crucial for numerical applications. Another example can be spin where the basis is usually finite dimensional.
This paragraph is attributed in a shared manner to D.Lazard with derivative work additions from me (i.e. additions and removals). 
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title: First Paragraph 

message: * Topology is moved and references to geometry and linear algebra are here as a second focus
This paragraph is attributed in a shared manner to D.Lazard with derivative work additions from me (i.e. additions and removals)
* I addded "choosen" topology and choosen norm/product on purpose, given you can have different combinations of topologies, norm, product, measure, metrics, integral definitions and derivative definitions that gives a final  set of properties that can be different. Namely finite topologies are perfectly legitimate and same is valid for sesquilinear forms just to name one. 
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title: Second paragraph

message: * Measure theory, metrics and weak derivatives are moved here, I have choosen weak derivative given on it's own can drive a definition of the rest. I know is wobbly but is the best to show that we are generalizing calculus and analysis (i.e. both the integral and the derivative).
* the heuristic example "distance" between functions is still borrowed from function fitting, with respect to different norms, it can be eventually removed if it is too fancy
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title: Third paragraph

message: Added the relationship with PDEs and integral eqts. to show where is the central focus
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  fourth paragraph 

message: Added another big section for applications and centrality in math, i.e. the typical "pure math" drama.
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  fifth paragraph 

message: Addded another section with examples of function spaces to harden it to the ground.
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  Six paragraph 

message: * history does not belong to definition and lead
* the history is long enough to have it's own space so that it can be expanded further
* current quality of history section is good for the main body
* functional is defined here and is good enough a possible addition can be that operators are generalized functionals.
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  History section 

message: * Transformation is defined as automorphism, when you look at duality in banach spaces these are maps they are not automorphisms, therefore using transformations here is wrong.
* Linear is removed given the full scope is non linear, reference to it is left as a big chunck is Linear ...
* I removed "limit related structure" given it fits more and is more precisely defined, in the scope of topology, linear infinite dimensional spaces, metrics, measure etc. It's a nice to have but unclear how to fit the text (i.e. given sharpness of first section).
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title: Removals 

message: * Generalized functions - here the context is that we are also generalizing functions to "other stuff" 
* distributions - Schwartz
* operators: subject of functional analysis are also operator equations, which e.g. in the banach case they sit on the dual space. e.g. Heisenberg equations. Von neumann theorems etc.
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title: Additions 

message: * check links
* add more refs
* please review text and correct it (I am a non native speaker)
Flyredeagle (talk) 11:31, 28 December 2020 (UTC)
thread_title:  Other improvements TBD