|
Hans Hahn (mathematician)
Hans Hahn (; ; 27 September 1879 – 24 July 1934) was an Austrian mathematician and philosopher who made contributions to functional analysis, topology, set theory, the calculus of variations, real analysis, and order theory. In philosophy he was among the main logical positivists of the Vienna Circle. Biography Born in Vienna as the son of a higher government official of the K.K. Telegraphen-Korrespondenz Bureau (since 1946 named "Austria Presse Agentur"), in 1898 Hahn became a student at the Universität Wien starting with a study of law. In 1899 he switched over to mathematics and spent some time at the universities of Strasbourg, Munich and Göttingen. In 1902 he took his Ph.D. in Vienna, on the subject "Zur Theorie der zweiten Variation einfacher Integrale". He was a student of Gustav von Escherich. He was appointed to the teaching staff ( Habilitation) in Vienna in 1905. After 1905/1906 as a stand-in for Otto Stolz at the University of Innsbruck and some further year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vienna
Vienna ( ; ; ) is the capital city, capital, List of largest cities in Austria, most populous city, and one of Federal states of Austria, nine federal states of Austria. It is Austria's primate city, with just over two million inhabitants. Its larger metropolitan area has a population of nearly 2.9 million, representing nearly one-third of the country's population. Vienna is the Culture of Austria, cultural, Economy of Austria, economic, and Politics of Austria, political center of the country, the List of cities in the European Union by population within city limits, fifth-largest city by population in the European Union, and the most-populous of the List of cities and towns on the river Danube, cities on the river Danube. The city lies on the eastern edge of the Vienna Woods (''Wienerwald''), the northeasternmost foothills of the Alps, that separate Vienna from the more western parts of Austria, at the transition to the Pannonian Basin. It sits on the Danube, and is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hahn–Banach Theorem
In functional analysis, the Hahn–Banach theorem is a central result that allows the extension of bounded linear functionals defined on a vector subspace of some vector space to the whole space. The theorem also shows that there are sufficient continuous linear functionals defined on every normed vector space in order to study the dual space. Another version of the Hahn–Banach theorem is known as the Hahn–Banach separation theorem or the hyperplane separation theorem, and has numerous uses in convex geometry. History The theorem is named for the mathematicians Hans Hahn and Stefan Banach, who proved it independently in the late 1920s. The special case of the theorem for the space C , b/math> of continuous functions on an interval was proved earlier (in 1912) by Eduard Helly, and a more general extension theorem, the M. Riesz extension theorem, from which the Hahn–Banach theorem can be derived, was proved in 1923 by Marcel Riesz. The first Hahn–Banach theore ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Positivism
Logical positivism, also known as logical empiricism or neo-positivism, was a philosophical movement, in the empiricist tradition, that sought to formulate a scientific philosophy in which philosophical discourse would be, in the perception of its proponents, as authoritative and meaningful as empirical science. Logical positivism's central thesis was the verification principle, also known as the "verifiability criterion of meaning", according to which a statement is ''cognitively meaningful'' only if it can be verified through empirical observation or if it is a tautology (true by virtue of its own meaning or its own logical form). The verifiability criterion thus rejected statements of metaphysics, theology, ethics and aesthetics as ''cognitively meaningless'' in terms of truth value or factual content. Despite its ambition to overhaul philosophy by mimicking the structure and process of empirical science, logical positivism became erroneously stereotyped as an agenda t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Theory
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Background and motivation Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.g. "2 is less than 3", "10 is greater than 5", or "Does Tom have fewer cookies than Sally?". This intuitive concept can be extended to orders on other sets of numbers, such as the integers and the reals. The idea of being greater than or less than another number is one of the basic intuitions of number systems in general (although one usually is also interested in the actual difference of two numbers, which is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Analysis
In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability. Real analysis is distinguished from complex analysis, which deals with the study of complex numbers and their functions. Scope Construction of the real numbers The theorems of real analysis rely on the properties of the (established) real number system. The real number system consists of an uncountable set (\mathbb), together with two binary operations denoted and \cdot, and a total order denoted . The operations make the real numbers a field, and, along with the order, an ordered field. The real number system is the unique '' complete ordered field'', in the sense that any other complete ordered field is isomorphic to it. Intuitively, completenes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Calculus Of Variations
The calculus of variations (or variational calculus) is a field of mathematical analysis that uses variations, which are small changes in Function (mathematics), functions and functional (mathematics), functionals, to find maxima and minima of functionals: Map (mathematics), mappings from a set of Function (mathematics), functions to the real numbers. Functionals are often expressed as definite integrals involving functions and their derivatives. Functions that maximize or minimize functionals may be found using the Euler–Lagrange equation of the calculus of variations. A simple example of such a problem is to find the curve of shortest length connecting two points. If there are no constraints, the solution is a straight line between the points. However, if the curve is constrained to lie on a surface in space, then the solution is less obvious, and possibly many solutions may exist. Such solutions are known as ''geodesics''. A related problem is posed by Fermat's principle: li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of ''naive set theory''. After the discovery of Paradoxes of set theory, paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox), various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functional Analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics)#Definition, norm, or Topological space#Definitions, topology) and the linear transformation, linear functions defined on these spaces and suitably respecting these structures. The historical roots of functional analysis lie in the study of function space, spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining, for example, continuous function, continuous or unitary operator, unitary operators between function spaces. This point of view turned out to be particularly useful for the study of differential equations, differential and integral equations. The usage of the word ''functional (mathematics), functional'' as a noun goes back to the calculus of v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lieben Prize
The Ignaz Lieben Prize, named after the Austrian banker , is an annual Austrian award made by the Austrian Academy of Sciences to young scientists working in the fields of molecular biology, chemistry, or physics. Biography The Ignaz Lieben Prize has been called the Austrian Nobel Prize. It is similar in intent but somewhat older than the Nobel Prize. The Austrian merchant Ignaz L. Lieben, whose family supported many philanthropic activities, had stipulated in his testament that 6,000 florins should be used “for the common good”. In 1863 this money was given to the Austrian Imperial Academy of Sciences, and the Ignaz L. Lieben Prize was instituted. Every three years, the sum of 900 florins was to be given to an Austrian scientist in the field of chemistry, physics, or physiology. This sum corresponded to roughly 40 per cent of the annual income of a university professor. From 1900 on, the prize was offered on a yearly basis. The endowment was twice increased by the Lieben fam ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uniform Boundedness Principle
In mathematics, the uniform boundedness principle or Banach–Steinhaus theorem is one of the fundamental results in functional analysis. Together with the Hahn–Banach theorem and the open mapping theorem, it is considered one of the cornerstones of the field. In its basic form, it asserts that for a family of continuous linear operators (and thus bounded operators) whose domain is a Banach space, pointwise boundedness is equivalent to uniform boundedness in operator norm. The theorem was first published in 1927 by Stefan Banach and Hugo Steinhaus, but it was also proven independently by Hans Hahn. Theorem The first inequality (that is, \sup_ \, T(x)\, rather than \infty, \infty/math>) then closed unit ball can be replaced with the unit sphere \sup_ \, T\, _ = \sup_ \, T(x)\, _Y. The completeness of the Banach space X enables the following short proof, using the Baire category theorem. There are also simple proofs not using the Baire theorem . Corollaries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semi-reflexive Space
In the area of mathematics known as functional analysis, a semi-reflexive space is a locally convex topological vector space (TVS) ''X'' such that the canonical evaluation map from ''X'' into its bidual (which is the strong dual of ''X'') is bijective. If this map is also an isomorphism of TVSs then it is called reflexive. Semi-reflexive spaces play an important role in the general theory of locally convex TVSs. Since a normable TVS is semi-reflexive if and only if it is reflexive, the concept of semi-reflexivity is primarily used with TVSs that are not normable. Definition and notation Brief definition Suppose that is a topological vector space (TVS) over the field \mathbb (which is either the real or complex numbers) whose continuous dual space, X^, separates points on (i.e. for any x \in X there exists some x^ \in X^ such that x^(x) \neq 0). Let X^_b and X^_ both denote the strong dual of , which is the vector space X^ of continuous linear functionals on endowed with th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
