A074486 Encoding of topologies generated by classes of sets.

1, 3, 9, 11, 15, 129, 131, 137, 139, 143, 153, 171, 175, 255

Offset

0,2

Comments

We map {}, a, b, c, d, ... to 1, 2, 4, 16, 256, ..., i.e., to 2^0, 2^1, 2^2, 2^4, 2^8, ... . Sets with more than 1 element are mapped to the product. So ab (a shorthand notation for {a,b}) is mapped to 2^1 * 2^2 = 2^3. The topology is represented by the sum of the representations of its components.

The sequence encodes unlabeled topologies as described in A000798.

Links

Table of n, a(n) for n=0..13.

Example

1+2+8 = 11 (binary 1011) encodes {}, a, ab, which is the least encoding of this topology, so 11 is in the sequence.
1+4+8 = 13 (binary 1101) encodes {}, b, ab which is topologically equivalent and larger, so it is not in the sequence. The number of equivalent cases corresponding to a(n) begins 1; 1,1,2; 1,1,3,3,6,3,3,3,6; ... and is counted by A001928 (labeled topologies).
171 (binary 1011011) is in the sequence because we map {}, a, ab, ac, abc to 1 + 2 + 8 + 32 + 128.

Crossrefs

Cf. A000798, A001928.

Sequence in context: A370873 A028312 A310315 * A131861 A131859 A310316

Adjacent sequences: A074483 A074484 A074485 * A074487 A074488 A074489

Keyword

more,nonn,base

Author

Alford Arnold, Sep 26 2002

Extensions

Edited by Franklin T. Adams-Watters, Mar 29 2014

Status

approved