Sari la conținut

Fișier:Z2^3; Lattice of subgroups Hasse diagram adjacency matrix (sequence).svg

Conținutul paginii nu este suportat în alte limbi.
De la Wikipedia, enciclopedia liberă

Mărește rezoluția imaginii(Fișier SVG, cu dimensiunea nominală de 1.600 × 1.585 pixeli, mărime fișier: 1,04 MB)

Acest fișier se află la Wikimedia Commons. Consultați pagina sa descriptivă acolo.

Descriere fișier

Among the 8x8 matrices in files like there are sixteen, that describe equivalence relations.
(The power of two is a coincidence. There are five 4x4 matrices of this kind, and sixty seven 16x16 matrices.)
This matrix shows, how they are ordered by the refinement of relation,
and thus it's substantially equivalent to a Hasse diagram:

The strong red fields correspond to the edges in a Hasse diagram.
There are 35 strong red fields and 66 red fields in all.
This matrix is symmetrical to the subdiagonal.

The small black numbers over the 8x8 matrices are their bottom rows, read as binary numbers. Their numerical order justifies the bigger gray numbers, starting from 0, which simply denote the matrices' position in this sequence.
This matrix is contained in it's bigger equivalent File:Boolean partition lattice 4.svg.

These 8x8 matrices' top rows:

1 0 0 0 0 0 0 0 (1)
1 1 0 0 0 0 0 0 (2)
1 0 1 0 0 0 0 0 (2)
1 0 0 1 0 0 0 0 (2)
1 1 1 1 0 0 0 0 (4)
1 0 0 0 1 0 0 0 (2)
1 0 0 0 0 1 0 0 (2)
1 1 0 0 1 1 0 0 (4)
1 0 0 0 0 0 1 0 (2)
1 0 1 0 1 0 1 0 (4)
1 0 0 1 0 1 1 0 (4)
1 0 0 0 0 0 0 1 (2)
1 0 0 1 1 0 0 1 (4)
1 0 1 0 0 1 0 1 (4)
1 1 0 0 0 0 1 1 (4)
1 1 1 1 1 1 1 1 (8)

(The binary digit sum is shown in parentheses.)

The elements can be ordered in different ways. The probably best way is shown to the right.
There's a bigger equivalent of this lattice, shown in the line below.

small, lexicographical
small, rearranged by digit sum
small, with XNOR matrix
big, lexicographical
big, rearranged by digit sum
big, with XNOR matrix
 
Această imagine vectorială a fost creată cu Inkscape .
 
W3C-validity not checked.
 
Acest fișier a fost încărcat folosindu-se Commonist.

Published by Boolean Algebra under the following licenses:

Eu, deținătorul drepturilor de autor ale acestei opere, prin prezenta îmi public lucrarea sub următoarele licențe:
GNU head Se permite copierea, distribuirea și/sau modificarea acestui document conform termenilor Documentației de licență liberă GNU, versiunea 1.2 sau orice altă versiune ulterioară publicată de Free Software Foundation, fără părți neschimbabile, texte de pe copertele principale și finale. O copie a acestei licențe este inclusă în secțiunea numită Documentația de licență liberă GNU.
w:ro:Creative Commons
atribuind
Acest fișier a fost eliberat sub licența Creative Commons Atribuire 3.0 Neadaptată.
Sunteți liber:
  • să partajați cu alții – aveți dreptul de a copia, distribui și transmite opera
  • să adaptați – aveți dreptul de a adapta opera
În următoarele condiții:
  • atribuind – Trebuie să atribuiți opera corespunzător, introducând o legătură către licență și indicând dacă ați făcut schimbări. Puteți face asta prin orice metodă rezonabilă, dar nu într-un fel care ar sugera faptul că persoana ce a licențiat conținutul v-ar susține sau ar aproba folosirea de către dumneavoastră a operei sale.
Puteți alege licența pe care o doriți.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

subiectul reprezentat

Istoricul fișierului

Apăsați pe Data și ora pentru a vedea versiunea trimisă atunci.

Data și oraMiniaturăDimensiuniUtilizatorComentariu
actuală27 iulie 2014 10:07Miniatură pentru versiunea din 27 iulie 2014 10:071.600x1.585 (1,04 MB)Wereldburger758Saved as plain SVG. Valid SVG now.
10 martie 2010 00:27Miniatură pentru versiunea din 10 martie 2010 00:271.600x1.585 (1,21 MB)Mate2Codenumbers included
9 martie 2010 06:15Miniatură pentru versiunea din 9 martie 2010 06:151.600x1.585 (1,16 MB)Mate2Code{{Information |Description=Among the 8x8 matrices in Category:3-ary Boolean functions there are some, that describe equivalence relations. This matrix shows, how they are ordered by the ''refinement of'' relation. It's s

Nicio pagină nu se leagă la această imagine.

Informații