|
| |
| | DBAzine.com: Dualities among Relational Algebra Operators |
 | | They are dual operations in the traditional set theory: unions and intersections in any set identity formula can be interchanged so that we get another identity. | | | In the set semantics, Projection operator has the side effect of merging duplicate rows into a single row, while Selection operator doesn’t have any side effects. | | | Classic projection reduces the number of columns, so you might wonder how useful is generalized projection that adds extra columns. |
|
http://www.dbazine.com/oracle/or-articles/tropashko7
(1128 words)
|
|
| |
| | Projection-valued measure - Wikipedia, the free encyclopedia |
| | A projection-valued measure on a measurable space ( X, M) is a mapping Ï from M to the set of self-adjoint projections on a Hilbert space H such that | | | In mathematics, projection-valued measures are used to express results in spectral theory. | | | Suppose Ï Ï are projection-valued measures on ( X, M) with values in the projections of H, K. |
|
http://www.wikipedia.org/wiki/Spectral_measure
(1128 words)
|
|
| |
| | Quantum Logic and Probability Theory |
| | Mackey presents a sequence of six axioms, framing a very conservative generalized probability theory, that underwrite the construction of a ‘logic’ of experimental propositions, or, in his terminology, ‘questions’, having the structure of a sigma-orthomodular poset. | | | In classical probability theory (and especially in classical statistics) one usually focuses, not on the set of all possible probability weights, but on some designated subset of these (e.g., those belonging to a given family of distributions). | | | Because of this, the set of probability-bearing events (or propositions) is less rich than it would be in classical probability theory, and the set of possible statistical distributions, accordingly, less tightly constrained. |
|
http://plato.stanford.edu/entries/qt-quantlog
(7961 words)
|
|
| |
| | Autolexical Theory |
| | Bar level is a member of the set {0,1,2} where 0 represents a lexical category, 2 is a maximal projection, and 1 is an intermediate projection. | | | X-bar theory was developed in the late 1970s, in large part due to the influence of Ray Jackendoff, whose 1977 book was the focus of a great deal of attention and debate in the ensuing decade. | | | Optionality (non-heads are only optionally present) is strictly obeyed in Autolexical theory, because we hold that the cases cited by Pullum (1985) (e.g., John doesn't have) are all syntactically well-formed but fail to meet the conditions of the logico-semantics, in that have is a two-place relation and only one argument is accessible. |
|
http://www.ericschiller.com/ling/papers/autolexical.htm
(7957 words)
|
|
| |
| | Analytical hierarchy - Wikipedia, the free encyclopedia |
| | In mathematical logic and descriptive set theory, the analytical hierarchy is a second-order analogue of the arithmetical hierarchy; it thus continues the classification of sets and properties by their complexity to levels higher than can be defined using first-order logic. | | | set can be seen as a lightface or recursive analog of an analytic set, since it is an arithmetic projection of an arithmetic relation, just as an analytic set is an arbitrary projection of a Borel relation. | | | Note that the Greek letters here should be read as lightface symbols; the corresponding boldface symbols indicate the class of first-order formulas which can be written with real parameters; see projective hierarchy for more details. |
|
http://en.wikipedia.org/wiki/Analytical_hierarchy
(235 words)
|
|
| |
| | Logical Environments |
| | Using the Grothendieck construction to generate a category, the adjointness properties mean that the associated signature projection is a bifibration. | | | When using the Grothendieck construction to generate a category of theories, the adjointness properties mean that the associated signature projection is a bifibration. | | | Hence, associated with an institution I is a theory functor for either adjoint. |
|
http://suo.ieee.org/IFF/metalevel/lower/metatheory/environment/version20041010.html
(2945 words)
|
|
| |
| | Readings from quant-ph |
| | This makes his claim that his theory describes an objective reality independent of observers quite incomprehensible, unless that objective reality is the reality of the entire set of possible frameworks, which is presumably the reality of a no-collapse interpretation of quantum theory, and is therefore very different from the reality which we apparently observe. | | | Their approach has some similarities with the theory of local algebras, which is used in algebraic quantum field theory to express the locality of relativistic interactions. | | | Some of these issues arise even in the foundations of quantum theory where the mathematics is comparatively simple, and in response I have emphasized the weight that should be given to a theory's overall consistency and lack of vagueness. |
|
http://www.poco.phy.cam.ac.uk/~mjd1014/readings.html
(10956 words)
|
|
| |
| | Clearing up the market cycle... best Rectifiable Set |
| | The aim of geometric measure theory is the study of geometric properties of sets and measures (mainly in Euclidean spaces) by measure theoretical means. | | | CVGMT: The projection of a rectifiable Legendrian set is C 2 -rectifiable: a simplified proof | | | The projection of a rectifiable Legendrian set is C2-rectifiable: a simplified proof. |
|
http://ascot.pl/th/Fourier5/Rectifiable-Set.htm
(10956 words)
|
|
| |
| | Clearing up the market cycle... best Rectifiable Set |
| | The aim of geometric measure theory is the study of geometric properties of sets and measures (mainly in Euclidean spaces) by measure theoretical means. | | | CVGMT: The projection of a rectifiable Legendrian set is C 2 -rectifiable: a simplified proof | | | The projection of a rectifiable Legendrian set is C2-rectifiable: a simplified proof. |
|
http://ascot.pl/th/Fourier5/Rectifiable-Set.htm
(10956 words)
|
|
| |
| | Projection-valued measure - Encyclopedia, History, Geography and Biography |
| | A projection-valued measure on a measurable space (X, M) is a mapping π from M to the set of self-adjoint projections on a Hilbert space H such that | | | In mathematics, projection-valued measures are used to express results in spectral theory. | | | A projection-valued measure π is homogeneous of multiplicity n iff the multiplicity function has constant value n. |
|
http://www.arikah.net/encyclopedia/Spectral_measure
(469 words)
|
|
| |
| | Quantum Logic and Probability Theory |
| | In its simplest formulation, classical probability theory deals with a (discrete) set E of mutually exclusive outcomes, as of some measurement, experiment, etc., and with the various probability weights that can be defined thereon --- that is, with mappings ω : E → [0,1] summing to 1 over E. | | | In classical probability theory (and especially in classical statistics) one usually focuses, not on the set of all possible probability weights, but on some designated subset of these (e.g., those belonging to a given family of distributions). | | | This is a convex set, but in contrast to the situation in discrete classical probability theory, it is generally not a simplex. |
|
http://plato.stanford.edu/entries/qt-quantlog
(7961 words)
|
|
| |
| | Decoherent Histories Inconsistent |
| | In the consistent histories formulation of quantum theory, the probabilistic predictions and retrodictions made from observed data depend on the choice of a consistent set. | | | While consistent histories can be defined abstractly on any Hilbert space H, it is generally assumed that operators corresponding to the Hamiltonian H and other physically interesting observables, such as position, momentum and spin, are given. | | | The consistent histories approach to quantum theory, pioneered by Griffiths, Omnes, and Gell-Mann and Hartle, is arguably the best attempt to date at a precise formulation of quantum theory that involves no "hidden" auxiliary variables and can be applied to closed systems. |
|
http://www.qedcorp.com/pcr/pcr/mgmwrong.html
(2517 words)
|
|
| |
| | Analytic set - definition of Analytic set in Encyclopedia |
| | In mathematical logic and descriptive set theory, the analytical hierarchy is a second-order analogue of the arithmetical hierarchy. | | | set is said to be analytic, and can thus be seen as a projection of a Borel set. | | | set is the complement of a Borel set. |
|
http://encyclopedia.laborlawtalk.com/Analytic_set
(211 words)
|
|
| |
| | Citebase - Towards a string representation of infrared SU(2) Yang-Mills theory |
| | By comparision with numerical results in the maximal Abelian projection of lattice Yang-Mills theory, it is argued that the nonperturbative dynamics of Yang Mills theory can be described by a set of fields that take their values in the coset space SU(2)/U(1). | | | We show that the Skyrme theory actually is a theory of monopoles which allows a new type of solitons, the topological knots made of monopole-anti-monopole pair,which is different from the well-known skyrmions. | | | Our result supports the proposal that at large distances the theory is approximated by the dynamics of knotted string-like fluxtubes which appear as solitons in the effective theory. |
|
http://citebase.eprints.org/cgi-bin/citations?id=oai:arXiv.org:hep-th/9905147
(211 words)
|
|
| |
| | Analytic set - definition of Analytic set in Encyclopedia |
| | In mathematical logic and descriptive set theory, the analytical hierarchy is a second-order analogue of the arithmetical hierarchy. | | | set is said to be analytic, and can thus be seen as a projection of a Borel set. | | | set is the complement of a Borel set. |
|
http://encyclopedia.laborlawtalk.com/Analytic_set
(211 words)
|
|
| |
| | Graduate Courses |
| | Topics from proof theory and model theory, set theory, various philosophies of mathematics, recursive and constructive mathematics, and nonstandard analysis. | | | This course shows how topology arose from geometry, calculus and set theory. | | | Various theorems from geometry: Euclid, projection and art; from Descartes to equations and algebraic geometry; from Newton to calculus and differential geometry. |
|
http://www.math.waikato.ac.nz/MathGradHBook97/GraduateCourses.html
(211 words)
|
|
| |
| | kppaper.html |
| | The purpose of this class was to collect all sets which could be constructed from only the empty set by means of Gödel's set operations: pair, difference, product, domain, projection and permutation. | | | Admissible sets are particularly useful in exploting connections between proof theory and definability theory. | | | In order to construct some of the more important admissible sets, those in which Barwise develops his definability theory, he invokes Gödel's hierarchy of sets to build a class L of constructible sets in KPU via a list of operations. |
|
http://www.afn.org/~afn07474/kppaper.html
(1632 words)
|
|
| |
| | 1 |
| | This understanding of projection manipulation was summarized in a set of conjectures for knot projections, the famous Tait Conjectures. | | | This theory inspired the celebrated Scottish physicist Peter Tait to undertake an extensive study and tabulation of knots in an attempt to understand when two knots were ``different''. | | | The accompanying diagram shows a portion of Tait's study---an enumeration of knots and links in terms of the crossing number of a plane projection. |
|
http://www.math.buffalo.edu/~menasco/Knottheory.html
(1632 words)
|
|
| |
| | QUANTUM UNIVERSE AS ALGEBRA |
| | Geometrically, within M(2, C), the set of all projection operators is the boundary of a "forward cone" of set of all density matrices. | | | Electromagnetic Theory QT is a tolerance theory, and fuzzy sets, also with quantum EMT is a topological theory A, the 4-potential acts geometrically as an affine connection from which the field tensor F is derived which is its associated curvature tensor. | | | While su(2) should be sufficient if space is all there is, the inclusions of particles and their "internal symmetry spaces" means that higher unitary symmetry algebras must be included and allowed, if a generalized geometrization program in the spirit of Riemann, Clifford and Einstein is to be pursued. |
|
http://graham.main.nc.us/~bhammel/PHYS/algu.html
(1632 words)
|
|
| |
| | List of mathematical topics (G-I) - Gurupedia |
| | G2 (mathematics)-- G-delta set -- Gabriel's horn -- Galilean transformation -- Galileo's paradox -- Gall-Peters projection -- Galois connection-- Galois, Evariste -- Galois extension -- Galois group -- Galois module -- Galois theory -- | | | Generating function -- Generating set -- Generating set of a group -- Generating trigonometric tables -- Genetic algorithm -- Gentzen, Gerhard -- Genus -- Geodesic -- Geodesic curvature -- Geodesic dome -- Geodesic flow -- Geographic coordinate system -- Geombinatorics -- Geometer -- Geometers -- Geometric algebra -- Geometric Brownian motion -- Geometric distribution -- | | | Group algebra -- Group cohomology -- Group homomorphism -- Group isomorphism-- Group object -- Group representation -- Group ring -- Group scheme -- Group theory -- Group velocity -- Groupoid -- Grover's algorithm -- Growth rate -- Grunwald-Letnikov differintegral -- Gudermannian function -- Guldin, Paul -- Gumbel, Eric |
|
http://www.gurupedia.com/l/li/list_of_mathematical_topics_(g-i).htm
(1433 words)
|
|
| |
| | kppaper.html |
| | The purpose of this class was to collect all sets which could be constructed from only the empty set by means of Gödel's set operations: pair, difference, product, domain, projection and permutation. | | | First it must consist of a non-empty class A of all sets, and a class M of all urelements. | | | KPU loses nothing by readmitting urelements, since one obtain results about sets without urelements simply by assuming the class of urelements is empty. |
|
http://www.afn.org/~afn07474/kppaper.html
(1433 words)
|
|
| |
| | Analytical hierarchy |
| | In mathematical logic and descriptive set theory, the analytical hierarchy is a second-order analogue of the arithmetical hierarchy. | | | A | | | to be the set of all subsets which are projections of Borel subsets of R |
|
http://www.arikah.net/encyclopedia/Analytic_set
(1433 words)
|
|
| |
| | Operations on Fuzzy Sets |
| | Definitions of set-theoretic operations such as the complement, union and intersection can be extended from ordinary set theory to fuzzy sets. | | | In addition, operations of projection and cylindrical extension, related to multi-dimensional fuzzy sets, are given. | | | It is clear, however, that the operations for fuzzy sets must give correct results when applied to ordinary sets (an ordinary set can be seen as a special case of a fuzzy set). |
|
http://lcewww.et.tudelft.nl/~rbabuska/kr/node13.html
(1433 words)
|
|
| |
| | Hexapedia - Projection-valued measure |
| | A projection-valued measure on a measurable space (X, M) is a mapping π from M to the set of self-adjoint projections on a Hilbert space H such that | | | In mathematics, projection-valued measures are used to express results in spectral theory. | | | is a complex-valued countably additive measure on M. |
|
http://www.hexafind.com/encyclopedia/Projection-valued_measure
(1433 words)
|
|
| |
| | fibdegen.txt |
| | It is well-known that if E = B x F where F is a finite set and p is projection on the first factor, then fiE = fiB x fiF, and fip is again projection on the first factor. | | | Degenerate fibres in the Stone-Cech compactification of the universal bundle of a finite group: An application of homotopy theory to general topology David Feldman Department of Mathematics University of New Hampshire Alexander Wilce Department of Mathematics University of Pittsburgh at Johnstown 1 Introduction If p : E ! | | | We emphasize that the action of G on EG is not part of the data available to the Stone-Cech functor; rather the compactification process directly detects the symmetry of the bundle. |
|
http://hopf.math.purdue.edu/Feldman-Wilce/fibdegen.txt
(5513 words)
|
|
| |
| | efg's Mathematics Page |
| | Number Theory, Combinatorics, Geometry, Algebra, Calculus and Differential Equations, Probability and Statistics, Set Theory, History, Physics, Music | | | It is a way of representing a very complicated sampled data pattern in terms of its linear projection onto sinusoids of various frequency. | | | The Intel Math Kernel Library provides developers of scientific and engineering software with a set of linear algebra (the Basic Linear Algebra Subroutines--BLAS) and fast Fourier transform functions as static and dynamic libraries for the Windows* NT* and Windows 95 operating systems. |
|
http://www.efg2.com/Lab/Library/mathematics.htm
(5513 words)
|
|
| |
| | fibdegen.txt |
| | It is well-known that if E = B x F where F is a finite set and p is projection on the first factor, then fiE = fiB x fiF, and fip is again projection on the first factor. | | | Degenerate fibres in the Stone-Cech compactification of the universal bundle of a finite group: An application of homotopy theory to general topology David Feldman Department of Mathematics University of New Hampshire Alexander Wilce Department of Mathematics University of Pittsburgh at Johnstown 1 Introduction If p : E ! | | | We emphasize that the action of G on EG is not part of the data available to the Stone-Cech functor; rather the compactification process directly detects the symmetry of the bundle. |
|
http://hopf.math.purdue.edu/Feldman-Wilce/fibdegen.txt
(5513 words)
|
|
| |
| | Master's theses |
| | In Part II, an examination of Architettura Civile, Guarini's treatise on architecture, seeks to understand the theory of parallel projection (ortografia) with regards to the Chapel's themes. | | | The "corporeal visions" of Camillo are set in opposition to the "single eye: vision from which originate theories on prespective by the architects Leon Bastista Alberti and Sebastiano Serlio. | | | In the last stage Guarini's philosophical treatise sheds some interesting light on ortografia - presence and absence weave an architectural idea, a geometrical theory, a theological mystery. |
|
http://www.mcgill.ca/architecture-theory/theses
(12280 words)
|
|
| |
| | Citebase - Monopole condensates in SU(N) Yang-Mills Theory |
| | By comparision with numerical results in the maximal Abelian projection of lattice Yang-Mills theory, it is argued that the nonperturbative dynamics of Yang Mills theory can be described by a set of fields that take their values in the coset space SU(2)/U(1). | | | An effective action for monopoles and knot solitons in Yang-Mills theory | | | We have explicitly simulated the unknot and trefoil configurations, and our results suggest that all torus knots appear as... |
|
http://citebase.eprints.org/cgi-bin/citations?id=oai:arXiv.org:hep-th/9808127
(12280 words)
|
|
| |
| | Motivation |
| | These needs can be measured using the TAT (thematic apperception test), which is a projection-style test based on interpreting stories that people tell about a set of pictures. | | | Equity theory says that it is not the actual reward that motivates, but the perception, and the perception is based not on the reward in isolation, but in comparison with the efforts that went into getting it, and the rewards and efforts of others. | | | This theory suggests that there are actually two motivation systems: intrinsic and extrinsic that correspond to two kinds of motivators: |
|
http://www.analytictech.com/mb021/motivation.htm
(2064 words)
|
|
|
