Posts Tagged ‘relation’
Thursday, December 24th, 2009
Finding the Function of a Directed Graph
Description
A detailed tutorial on finding the function of a directed graph. Step by step tutorial including several examples of finding functions of digraphs for reference.
Overview
A directed graph, more commonly known as a digraph, is the visual representation of a function or of a relation. As in any graph, there are points and lines – called vertices and edges in a digraph. Each edge has an arrow pointing to a vertex. The first vertex – the one the arrow comes from – is the x coordinate of an ordered pair. The second vertex – the one the arrow is pointing to – is the y coordinate of an ordered pair. In the case of double-sided arrows, two ordered pairs are made, with the x and y coordinates switching. This is done for every single vertex and edge on the graph.
Tags: arrow, coordinate. ordered, digraph, directed, discrete math, double, edges, expression, First, function, graph, lines, pair, points, relation, representation, second, side, vertex, vertices, visual, x, y
Posted in Discrete Math | No Comments »
Thursday, October 29th, 2009
Overview of Quasitransitive Relations
Description
A detailed tutorial on the property of quasitransitive relations. Step by step tutorial including several examples of quasitransitive relations for reference.
Overview
A quasitransitive relation can be mathematically defined as for all x, y, and z belonging to A, if x R y, y R z, ~(y R x), and ~(z R y), then x R z and ~(z R x). In this statement, A is a set, and R is a relation of that set. A quasitransitive relation is considered to be a weak version of a transitive relation. If the relation also happens to be asymmetric, then it is considered transitive.
Tags: arithmetic, asymmetric, negation, opposite, property, quasitransitive, r, relation, transitive, x, y, z
Posted in Arithmetic | No Comments »
Thursday, October 29th, 2009
Overview of Symmetric Relations
Description
A detailed tutorial on the property of symmetric relations. Step by step tutorial including several examples of symmetric relations for reference.
Overview
A symmetric relation can be mathematically defined as for all x, y, and z belonging to A, if x R y and y R z, then x R z. In this statement, A is a set, and R is a relation of that set. An empty set is considered to be symmetric. Since a symmetric relation is defined by a conditional sentence, a proof for the symmetric property of relations would be written as a direct proof.
Tags: conditional, direct, discrete math, empty, equal, equivalence, married, odd, proof, property, r, relation, set, symmetric, x, y
Posted in Discrete Math | No Comments »
Thursday, October 29th, 2009
Overview of Transitive Relations
Description
A detailed tutorial on the property of transitive relations. Step by step tutorial including several examples of transitive relations for reference.
Overview
A transitive relation can be mathematically defined as for all x and y belonging to A, if x R y, then y R x. In this statement, A is a set, and R is a relation of that set. An empty set is considered to be transitive. Since a transitive relation is defined by a conditional sentence, a proof for the transitive property of relations would be written as a direct proof.
Tags: conditional, direct, discrete math, divides, empty, equal, equivalence, great, greater, implies, proof, property, r, relation, set, subset, transitive, x, y, z
Posted in Discrete Math | No Comments »
Thursday, October 29th, 2009
Overview of Reflexive Relations
Description
A detailed tutorial on the property of reflexive relations. Step by step tutorial including several examples of reflexive relations for reference.
Overview
A reflexive relation can be mathematically defined as for all x belonging to A, x R x. In this statement, A is a set, and R is a relation of that set. If the relation is an empty set, then it is not reflexive, unless the set itself happens to be an empty set. When writing a proof for a reflexive relation, you must attempt to prove that (x, x) does not belong to R. If you cannot prove this, then you know that the relation must be reflexive.
Tags: discrete math, divide, empty, equal, equvalence, greater, less, proof, property, r, reflexive, relation, set, subset, x
Posted in Discrete Math | No Comments »
Thursday, October 29th, 2009
Introduction to Equivalence Relations
Description
A detailed tutorial on equivalence relations and how to find them. Step by step tutorial on finding equivalence relations for reference.
Overview
An equivalence relation is a relation that specifies how a set can be split into subsets. Relations can only be considered equivalence relations if they are reflexive, symmetric, or transitive. It is possible for an equivalence relation to be one of these, two of these, or all three of these, If the relation is none of them, then it is not an equivalence relation. An empty set is considered to be an equivalence relation, because it is both symmetric and transitive.
Tags: discrete math, element, empty, equivalence, reflexive, relation, set, subset, symmetric, transitive
Posted in Discrete Math | No Comments »
Tuesday, October 27th, 2009
An Introduction to Relations
Description
A detailed tutorial on the introduction to relations. Step by step tutorial including several examples of the introduction to relations for reference.
Overview
A relation is defined as an ordered pair. However, that is not entirely accurate. A relation could either be an ordered pair or a set of ordered pairs. A relation can be used with either one or more normal sets, or one Cartesian product set. When used with a normal set, it is a set of ordered pairs. When used with a Cartesian product, it is the power set of that set.
Tags: cartesian, coordinates, discrete math, element, ordered pair, power, product, relation, set, subset, theory
Posted in Discrete Math | No Comments »