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)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)