File:Grafo mostrando dependência entre definições e resultados de Medida.svg

Original file(SVG file, nominally 2,174 × 595 pixels, file size: 22 KB)

Captions

Captions

Add a one-line explanation of what this file represents

Summary edit

Description
Português: Ilustração para o wikilivro "Medida e integração", feita com o 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.
Date 10 February 2010 (upload date)
Source Own work
Author Helder

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"
}

Licensing edit

Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current18:33, 10 February 2010Thumbnail for version as of 18:33, 10 February 20102,174 × 595 (22 KB)He7d3r (talk | contribs){{Information |Description={{pt|1=Ilustração para o wikilivro "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 resultado

There are no pages that use this file.