Keywords: Grafo mostrando dependência entre definições e resultados de Medida.svg Medida e integração feita com o http //www graphviz org/License php Graphviz Trata-se de um grafo ilustrando a dependência entre conceitos e resultados da Teoria da Medida Um conceito ou resultado é usado em outro se houver um caminho uma sequência de setas de mesma orientação ligando o primeiro ao segundo own Helder 10/02/2010 Código fonte digraph G / Mensurabilidade http //pt wikibooks org/w/index php oldid 137444 / Def 1 1 s-algebra -> Def 1 7 esp mens conj mens ; Def 1 7 esp mens conj mens -> Def 1 9 fun mens ; Prop 1 10 shape box; Def 1 9 fun mens -> Prop 1 10 ; Prop 1 11 shape box; Prop 1 10 -> Prop 1 11 ; Cor 1 12 shape box; Prop 1 11 -> Cor 1 12 ; Cor 1 13 shape box; Prop 1 11 -> Cor 1 13 ; Cor 1 14 shape box; Cor 1 13 -> Cor 1 14 ; Prop 1 18 shape box; Def 1 16 fun carac -> Prop 1 18 ; Def 1 7 esp mens conj mens -> Prop 1 18 ; Prop 1 19 shape box; Def 1 9 fun mens -> Prop 1 19 ; 1 -> Prop 1 19 ; Lema 1 20 shape box; Def 1 1 s-algebra -> Lema 1 20 2 -> Prop 1 20 ; Prop 1 21 shape box; Def 1 1 s-algebra -> Prop 1 21 3 -> Prop 1 21 Prop 1 21 -> Def 1 22 menor s-algebra / A reta real estendida http //pt wikibooks org/w/index php oldid 138910 / Def 2 23 reta estendida -> Def 2 30 lim inf lim sup ; Def 1 1 s-algebra -> Def 2 25 boreliano ; Def 2 26 fun borel -> 6 ; Prop 2 29 shape box; Def 1 9 fun mens -> Prop 2 29 ; Def 2 23 reta estendida -> Prop 2 29 ; Def 2 25 boreliano -> Prop 2 29 ; Prop 2 31 shape box; Def 2 30 lim inf lim sup -> Prop 2 31 ; Def 2 30 lim inf lim sup -> Def 2 33 lim inf sup de seq Prop 2 39 shape box; Def 1 9 fun mens -> Prop 2 39 ; Def 2 33 lim inf sup de seq -> Prop 2 39 ; 8 -> Prop 2 39 ; Cor 2 40 shape box; Prop 2 39 -> Cor 2 40 ; 9 -> Cor 2 40 ; Cor 2 41 shape box; Prop 2 39 -> Cor 2 41 ; 10 -> Cor 2 41 ; Lema 2 45 shape box; Def 2 42 parte pos neg -> Lema 2 45 Measure theory Graphs graph theory |