The Full Wiki

More info on Branch (graph theory)

Branch (graph theory): Wikis


Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.


From Wikipedia, the free encyclopedia

In mathematics, especially mathematical logic and set theory, a branch of a tree T is a map f such that ∀n : f (n) ∈ T.

By a tree on a product set κ1 ×···× κp we mean here a subset of the union of κ1i×···×κp i for all i < ω,

 T\subseteq\bigcup_{i<\omega} \kappa_1^i\times\cdots\times\kappa_p^i ~,

closed under initial segments, and the set of branches of such a tree is then more explicitly the set

 [T]=\{ (f_1,...,f_p)\mid\forall n\in\omega: (f_1(n),...,f_p(n))\in T\} ~.

This is a closed set for the usual product topology (see AD plus).

See also


Got something to say? Make a comment.
Your name
Your email address