Projection (set theory) - Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Projection (set theory)

    Note: these results are not from the primary (high quality) database.

Related Topics

In the News (Tue 23 Apr 19)

 List of Publications
Mikulás,S., Sain, I. and Simon,A.: Complexity of Equational Theory of Relational Algebras with Projection Elements.
Sain,I.: Solutions of problems in cylindric algebra theory.
Sain,I.: Weak products for universal algebra and model theory. /~sain/pub.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. /~afn07474/kppaper.html   (1632 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. /entries/qt-quantlog   (7961 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. /th/Fourier5/Rectifiable-Set.htm   (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. /ling/papers/autolexical.htm   (7957 words)

 Fremlin --- Measure Theory
B ; projection bands in S ( A); identifying S ( A) when A is a quotient of an algebra of sets.
when A is a quotient of an algebra of sets; integrals with respect to finitely additive functionals; projection bands in L
; the set of independent families of random variables. /maths/staff/fremlin/cont36.htm   (7957 words)

 Introduction to Film Theory and Terminology
Rear Projection: A photographic technique whereby live action is filmed in front of a screen on which the background action is projected from behind the screen.
Tracking Shot Also: Tracking - The action of moving a camera along a set of tracks parallel to the path of the object being filmed.
The basic and most fundamental lighting set up for a shot in a film. /~jgm8530/introduction_to_film_theory.htm   (2573 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. /Lab/Library/mathematics.htm   (2573 words) 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. /oracle/or-articles/tropashko7   (1128 words)

 The Math Forum - Math Library - Matrices
This website looks at some areas of mathematics that are not familiar to most people, such as Ramsey theory and set theory, but introduces them in an uncomplicated manner.
Linear algebra, sometimes disguised as matrix theory, considers sets and functions which preserve linear structure.
Notes from the University of Pennsylvania course "Numerical Methods on Parallel Computing." Features common linear algebra examples, such as solving for x in [A]x=b, where the matrix [A] and the vector b are known. /library/topics/matrices   (1128 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). /~rbabuska/kr/node13.html   (1128 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. /~mjd1014/readings.html   (10956 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. /cgi-bin/citations?   (10956 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. /wiki/Spectral_measure   (10956 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. /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. /IFF/metalevel/lower/metatheory/environment/version20041010.html   (2945 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. /encyclopedia/Spectral_measure   (469 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. /pcr/pcr/mgmwrong.html   (2517 words)

 Subcategorisation in GB theory
As shown in (6), the thematic index of an internal argument does not percolate to the VP node, but is assigned within the first projection of the predicate.
This thematic role is referred to as the `external argument' as it can only be assigned outside the maximal projection of its predicate.
Given standard conventions about feature percolation (Lieber, 1980) and the notion `head of a word' (Williams, 1981b; Di Sciullo and Williams, 1987), the index of the external thematic role is passed on to the maximal projection of its predicate as indicated in (5) where the external argument is underlined following Williams' notation. /EAGLES96/synlex/node11.html   (596 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. /MathGradHBook97/GraduateCourses.html   (596 words)

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. /~menasco/Knottheory.html   (596 words)

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. /~bhammel/PHYS/algu.html   (596 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 /l/li/list_of_mathematical_topics_(g-i).htm   (1433 words)

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. /~afn07474/kppaper.html   (1433 words)

 Quantum Logic and Probability Theory
Ordered by set-inclusion, the closed subspaces of H form a complete lattice, in which the meet (greatest lower bound) of a set of subspaces is their intersection, while their join (least upper bound) is the closed span of their union.
Axiom VII: The partially ordered set of all questions in quantum mechanics is isomorphic to the partially ordered set of all closed subspaces of a separable, infinite dimensional Hilbert space.
This is not generally an order-isomorphism, but when it is, we obtain a complete orthomodular lattice, and thus come a step closer to the projection lattice of a Hilbert space. /entries/qt-quantlog   (7961 words)

 Analytical hierarchy
In mathematical logic and descriptive set theory, the analytical hierarchy is a second-order analogue of the arithmetical hierarchy.
A \Sigma^1_1 set is said to be analytic, and can thus be seen as a projection of a Borel set.
to be the set of all subsets which are projections of Borel subsets of R /encyclopedia/Analytic_set   (7961 words)

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. /Feldman-Wilce/fibdegen.txt   (5513 words)

Try your search on: Qwika (all wikis)

  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 Usage implies agreement with terms.