|
Semi-connex Relation
In mathematics, a relation on a set is called connected or total if it relates (or "compares") all pairs of elements of the set in one direction or the other while it is called strongly connected if it relates pairs of elements. As described in the terminology section below, the terminology for these properties is not uniform. This notion of "total" should not be confused with that of a total relation in the sense that for all x \in X there is a y \in X so that x \mathrel y (see serial relation). Connectedness features prominently in the definition of total orders: a total (or linear) order is a partial order in which any two elements are comparable; that is, the order relation is connected. Similarly, a strict partial order that is connected is a strict total order. A relation is a total order if and only if it is both a partial order and strongly connected. A relation is a strict total order if, and only if, it is a strict partial order and just connected. A strict total ord ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relation On A Set
In mathematics, a binary relation associates elements of one set, called the ''domain'', with elements of another set, called the ''codomain''. A binary relation over sets and is a new set of ordered pairs consisting of elements in and in . It is a generalization of the more widely understood idea of a unary function. It encodes the common concept of relation: an element is ''related'' to an element , if and only if the pair belongs to the set of ordered pairs that defines the ''binary relation''. A binary relation is the most studied special case of an -ary relation over sets , which is a subset of the Cartesian product X_1 \times \cdots \times X_n. An example of a binary relation is the "divides" relation over the set of prime numbers \mathbb and the set of integers \mathbb, in which each prime is related to each integer that is a multiple of , but not to an integer that is not a multiple of . In this relation, for instance, the prime number 2 is related to number ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Asymmetric Relation
In mathematics, an asymmetric relation is a binary relation R on a set X where for all a, b \in X, if a is related to b then b is ''not'' related to a. Formal definition A binary relation on X is any subset R of X \times X. Given a, b \in X, write a R b if and only if (a, b) \in R, which means that a R b is shorthand for (a, b) \in R. The expression a R b is read as "a is related to b by R." The binary relation R is called if for all a, b \in X, if a R b is true then b R a is false; that is, if (a, b) \in R then (b, a) \not\in R. This can be written in the notation of first-order logic as \forall a, b \in X: a R b \implies \lnot(b R a). A logically equivalent definition is: :for all a, b \in X, at least one of a R b and b R a is , which in first-order logic can be written as: \forall a, b \in X: \lnot(a R b \wedge b R a). An example of an asymmetric relation is the " less than" relation \,<\, between |
Antitransitive
In mathematics, intransitivity (sometimes called nontransitivity) is a property of binary relations that are not transitive relations. This may include any relation that is not transitive, or the stronger property of antitransitivity, which describes a relation that is never transitive. Intransitivity A relation is transitive if, whenever it relates some A to some B, and that B to some C, it also relates that A to that C. Some authors call a relation if it is not transitive, that is, (if the relation in question is named R) \lnot\left(\forall a, b, c: a R b \land b R c \implies a R c\right). This statement is equivalent to \exists a,b,c : a R b \land b R c \land \lnot(a R c). For instance, in the food chain, wolves feed on deer, and deer feed on grass, but wolves do not feed on grass. Thus, the relation among life forms is intransitive, in this sense. Another example that does not involve preference loops arises in freemasonry: in some instances lodge A recognizes lodge B, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Relation
A symmetric relation is a type of binary relation. An example is the relation "is equal to", because if ''a'' = ''b'' is true then ''b'' = ''a'' is also true. Formally, a binary relation ''R'' over a set ''X'' is symmetric if: :\forall a, b \in X(a R b \Leftrightarrow b R a) , where the notation aRb means that (a,b)\in R. If ''R''T represents the converse of ''R'', then ''R'' is symmetric if and only if ''R'' = ''R''T. Symmetry, along with reflexivity and transitivity, are the three defining properties of an equivalence relation. Examples In mathematics * "is equal to" (equality) (whereas "is less than" is not symmetric) * "is comparable to", for elements of a partially ordered set * "... and ... are odd": :::::: Outside mathematics * "is married to" (in most legal systems) * "is a fully biological sibling of" * "is a homophone of" * "is co-worker of" * "is teammate of" Relationship to asymmetric and antisymmetric relations By definition, a nonempty relation cannot be bot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tournament (graph Theory)
A tournament is a directed graph (digraph) obtained by assigning a direction for each edge in an undirected complete graph. That is, it is an orientation of a complete graph, or equivalently a directed graph in which every pair of distinct vertices is connected by a directed edge (often, called an arc) with any one of the two possible orientations. Many of the important properties of tournaments were first investigated by H. G. Landau in to model dominance relations in flocks of chickens. Current applications of tournaments include the study of voting theory and social choice theory among other things. The name ''tournament'' originates from such a graph's interpretation as the outcome of a round-robin tournament in which every player encounters every other player exactly once, and in which no draws occur. In the tournament digraph, the vertices correspond to the players. The edge between each pair of players is oriented from the winner to the loser. If player a beats player b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Principles Of Mathematics
''The Principles of Mathematics'' (''PoM'') is a 1903 book by Bertrand Russell, in which the author presented his famous paradox and argued his thesis that mathematics and logic are identical. The book presents a view of the foundations of mathematics and Meinongianism and has become a classic reference. It reported on developments by Giuseppe Peano, Mario Pieri, Richard Dedekind, Georg Cantor, and others. In 1905 Louis Couturat published a partial French translation that expanded the book's readership. In 1937 Russell prepared a new introduction saying, "Such interest as the book now possesses is historical, and consists in the fact that it represents a certain stage in the development of its subject." Further editions were printed in 1938, 1951, 1996, and 2009. Contents ''The Principles of Mathematics'' consists of 59 chapters divided into seven parts: indefinables in mathematics, number, quantity, order, infinity and continuity, space, matter and motion. In chapter on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, artificial intelligence, cognitive science, computer science and various areas of analytic philosophy, especially philosophy of mathematics, philosophy of language, epistemology, and metaphysics.Stanford Encyclopedia of Philosophy"Bertrand Russell" 1 May 2003. He was one of the early 20th century's most prominent logicians, and a founder of analytic philosophy, along with his predecessor Gottlob Frege, his friend and colleague G. E. Moore and his student and protégé Ludwig Wittgenstein. Russell with Moore led the British "revolt against idealism". Together with his former teacher A. N. Whitehead, Russell wrote ''Principia Mathematica'', a milestone in the development of classical logic, and a major attempt to reduce the whole ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binary Relation
In mathematics, a binary relation associates elements of one set, called the ''domain'', with elements of another set, called the ''codomain''. A binary relation over Set (mathematics), sets and is a new set of ordered pairs consisting of elements in and in . It is a generalization of the more widely understood idea of a unary function. It encodes the common concept of relation: an element is ''related'' to an element , if and only if the pair belongs to the set of ordered pairs that defines the ''binary relation''. A binary relation is the most studied special case of an Finitary relation, -ary relation over sets , which is a subset of the Cartesian product X_1 \times \cdots \times X_n. An example of a binary relation is the "divides" relation over the set of prime numbers \mathbb and the set of integers \mathbb, in which each prime is related to each integer that is a Divisibility, multiple of , but not to an integer that is not a multiple of . In this relation, for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complement (set Theory)
In set theory, the complement of a set , often denoted by (or ), is the set of elements not in . When all sets in the universe, i.e. all sets under consideration, are considered to be members of a given set , the absolute complement of is the set of elements in that are not in . The relative complement of with respect to a set , also termed the set difference of and , written B \setminus A, is the set of elements in that are not in . Absolute complement Definition If is a set, then the absolute complement of (or simply the complement of ) is the set of elements not in (within a larger set that is implicitly defined). In other words, let be a set that contains all the elements under study; if there is no need to mention , either because it has been previously specified, or it is obvious and unique, then the absolute complement of is the relative complement of in : A^\complement = U \setminus A. Or formally: A^\complement = \. The absolute complement of is u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Antisymmetric Relation
In mathematics, a binary relation R on a set X is antisymmetric if there is no pair of ''distinct'' elements of X each of which is related by R to the other. More formally, R is antisymmetric precisely if for all a, b \in X, \text \,aRb\, \text \,a \neq b\, \text \,bRa\, \text, or equivalently, \text \,aRb\, \text \,bRa\, \text \,a = b. The definition of antisymmetry says nothing about whether aRa actually holds or not for any a. An antisymmetric relation R on a set X may be reflexive (that is, aRa for all a \in X), irreflexive (that is, aRa for no a \in X), or neither reflexive nor irreflexive. A relation is asymmetric if and only if it is both antisymmetric and irreflexive. Examples The divisibility relation on the natural numbers is an important example of an antisymmetric relation. In this context, antisymmetry means that the only way each of two numbers can be divisible by the other is if the two are, in fact, the same number; equivalently, if n and m are distinct and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Converse Relation
In mathematics, the converse relation, or transpose, of a binary relation is the relation that occurs when the order of the elements is switched in the relation. For example, the converse of the relation 'child of' is the relation 'parent of'. In formal terms, if X and Y are sets and L \subseteq X \times Y is a relation from X to Y, then L^ is the relation defined so that yL^x if and only if xLy. In set-builder notation, :L^ = \. The notation is analogous with that for an inverse function. Although many functions do not have an inverse, every relation does have a unique converse. The unary operation that maps a relation to the converse relation is an involution, so it induces the structure of a semigroup with involution on the binary relations on a set, or, more generally, induces a dagger category on the category of relations as detailed below. As a unary operation, taking the converse (sometimes called conversion or transposition) commutes with the order-relate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Relation
In mathematics, a homogeneous relation (also called endorelation) over a set ''X'' is a binary relation over ''X'' and itself, i.e. it is a subset of the Cartesian product . This is commonly phrased as "a relation on ''X''" or "a (binary) relation over ''X''". An example of a homogeneous relation is the relation of kinship, where the relation is over people. Common types of endorelations include orders, graphs, and equivalences. Specialized studies order theory and graph theory have developed understanding of endorelations. Terminology particular for graph theory is used for description, with an ordinary graph presumed to correspond to a symmetric relation, and a general endorelation corresponding to a directed graph. An endorelation ''R'' corresponds to a logical matrix of 0s and 1s, where the expression ''xRy'' corresponds to an edge between ''x'' and ''y'' in the graph, and to a 1 in the square matrix of ''R''. It is called an adjacency matrix in graph terminology. Particular ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
