Formal Definition
Let V be a vector space of dimension n over a field F (with n≥2), and let Fun(V,V) denote the linear transformations on V. An n-trace diagram is a graph, where the sets Vi (i = 1, 2, n) are composed of vertices of degree i, together with the following additional structures:
- a ciliation at each vertex in the graph, which is an explicit ordering of the adjacent edges at that vertex;
- a labeling V2 → Fun(V,V) associating each degree-2 vertex to a linear transformation.
Note that V2 and Vn should be considered as distinct sets in the case n = 2. A framed trace diagram is a trace diagram together with a partition of the degree-1 vertices V1 into two disjoint ordered collections called the inputs and the outputs.
The "graph" underlying a trace diagram may have the following special features, which are not always included in the standard definition of a graph:
- Loops are permitted (a loop is an edges that connects a vertex to itself).
- Edges that have no vertices are permitted, and are represented by small circles.
- Multiple edges between the same two vertices are permitted.
Read more about this topic: Trace Diagram
Famous quotes containing the words formal and/or definition:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)