Definição

Em um conjunto $X$ com uma relação de ordem $\leq$, o fecho para baixo de um elemento $x\in X$ é comumente denotado por $\lceil x \rceil$ e consiste no conjunto $\lceil x \rceil = \{y \in X : y \leq x\}$. Mais geralmente, dado $Y\subset X$ um subconjunto qualquer, denotamos também $\lceil Y \rceil =\displaystyle \bigcup_{y\in Y}\lceil y \rceil$. Dizemos ainda que $Y$ é fechado para baixo se $Y = \lceil Y\rceil$. No estudo de grafos, estamos particularmente interessados no caso em que $X$ é o conjunto de vértices de uma árvore e $\leq$ é a ordem obtida ao fixarmos uma raiz.

  • grafos/deffechobaixo.txt
  • Última modificação: 2023/02/16 14:39
  • por 127.0.0.1