Dependence relation

Dependence relation

In mathematics, a dependence relation is a binary relation which generalizes the relation of linear dependence.

Let X be a set. A (binary) relation \triangleleft between an element a of X and a subset S of X is called a dependence relation, written a \triangleleft S, if it satisfies the following properties:

  • if a \in S, then a \triangleleft S;
  • if a \triangleleft S, then there is a finite subset S0 of S, such that a \triangleleft S_0;
  • if T is a subset of X such that b \in S implies b \triangleleft T, then a \triangleleft S implies a \triangleleft T;
  • if a \triangleleft S but a \not\!\triangleleft S-\lbrace b \rbrace for some b \in S, then b \triangleleft (S-\lbrace b \rbrace)\cup\lbrace a \rbrace.

Given a dependence relation \triangleleft on X, a subset S of X is said to be independent if a \not\!\triangleleft S - \lbrace a \rbrace for all a \in S. If S \subseteq T, then S is said to span T if t \triangleleft S for every t \in T. S is said to be a basis of X if S is independent and S spans X.

Remark. If X is a non-empty set with a dependence relation \triangleleft, then X always has a basis with respect to \triangleleft. Furthermore, any two bases of X have the same cardinality.

Examples

See also


This article incorporates material from Dependence relation on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Dependence logic — is a logical formalism, created by Jouko Väänänen[1], which adds dependence atoms to the language of first order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is… …   Wikipedia

  • Relation of God to the Universe —     Relation of God to the Universe     † Catholic Encyclopedia ► Relation of God to the Universe     1. Essential Dependence of the Universe on God (Creation and Conservation)     In developing the argument of the First Cause we have seen that… …   Catholic encyclopedia

  • Dependence — De*pend ence, n. [LL. dependentia, fr. L. dependens. See {Dependent}, and cf. {Dependance}.] 1. The act or state of depending; state of being dependent; a hanging down or from; suspension from a support. [1913 Webster] 2. The state of being… …   The Collaborative International Dictionary of English

  • relation — I (New American Roget s College Thesaurus) I n. bearing, close connection; narration, narrative, storytelling; kinship, family tie; kinsman, relative; reference; proportion, ratio. See relation, description, posterity. II Close connection Nouns 1 …   English dictionary for students

  • relation algébrique — algebrinė priklausomybė statusas T sritis fizika atitikmenys: angl. algebraic dependence vok. algebraische Abhängigkeit, f rus. алгебраическая зависимость, f pranc. relation algébrique, f …   Fizikos terminų žodynas

  • Dispersion relation — The refraction of a light in a prism is due to dispersion. In physics and electrical engineering, dispersion most often refers to frequency dependent effects in wave propagation. Note, however, that there are several other uses of the word… …   Wikipedia

  • Clausius–Clapeyron relation — The Clausius–Clapeyron relation, named after Rudolf Clausius and Benoît Paul Émile Clapeyron, who defined it sometime after 1834, is a way of characterizing a discontinuous phase transition between two phases of matter. On a pressure–temperature… …   Wikipedia

  • Clausius-Clapeyron relation — The Clausius Clapeyron relation, named after Rudolf Clausius and Émile Clapeyron, is a way of characterizing the phase transition between two phases of matter, such as solid and liquid. It is commonly learned in class. On a pressure temperature… …   Wikipedia

  • Räumliche Relation — Eine räumliche Relation (auch Spatial Relation) gibt an, an welcher Position sich ein Objekt bezüglich eines Referenzobjektes im Raum befindet. Inhaltsverzeichnis 1 Überblick 2 Objektorientierung 3 Berechnungsalgorithmus 4 …   Deutsch Wikipedia

  • confidential relation — A fiduciary relation. It is a peculiar relation which exists between client and attorney, principal and agent, principal and surety, landlord and tenant, parent and child, guardian and ward, ancestor and heir, husband and wife, trustee and cestui …   Black's law dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”