Skip to main content
changed (lattices) to (lattice-theory) (See the tag-info; the tag lattices is for lattices in number theory.)
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
Removed deprecated (discrete-mathematics) tag - see the tag info: https://mathoverflow.net/tags/discrete-mathematics/info (if there are some other suitable tags, choose some of them instead)
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
added 6 characters in body
Source Link
Michael Hardy
  • 1
  • 12
  • 85
  • 126

Consider $A \subset \{0,1\}^n$

I want $A$ to have $2$two properties.

$1.$ $A$ is increasing, i.e., If $x \in A$ and $x \subseteq y$ then $y \in A$ too.

[$x \subseteq y$ means that every coordinate of $y$ is greater that or equal to corresponding coordinate of $x$]

$2.$ $A^c$ is equal to set $B=\{x | x^c \in A\}$$B=\{x \mid x^c \in A\}$

Is there any characterization for such a set? I have to example for it. But I want to find an IFF condition for such sets...

$e1)$ $A=\{x|$ first coordinate of $x$ is $1\}$

$e2)$ Fix an odd number of coordinates. $A= \{x| x$$A= \{x\mid x$ contains at least half of coordinates equal to $1\}$

[For even number there is a similar example]


P.S. Asked It before Here: https://math.stackexchange.com/questions/2135708/when-set-of-complements-is-equal-to-complement-of-set

Consider $A \subset \{0,1\}^n$

I want $A$ to have $2$ properties.

$1.$ $A$ is increasing, i.e., If $x \in A$ and $x \subseteq y$ then $y \in A$ too.

[$x \subseteq y$ means that every coordinate of $y$ is greater that or equal to corresponding coordinate of $x$]

$2.$ $A^c$ is equal to set $B=\{x | x^c \in A\}$

Is there any characterization for such a set? I have to example for it. But I want to find an IFF condition for such sets...

$e1)$ $A=\{x|$ first coordinate of $x$ is $1\}$

$e2)$ Fix an odd number of coordinates. $A= \{x| x$ contains at least half of coordinates equal to $1\}$

[For even number there is a similar example]


P.S. Asked It before Here: https://math.stackexchange.com/questions/2135708/when-set-of-complements-is-equal-to-complement-of-set

Consider $A \subset \{0,1\}^n$

I want $A$ to have two properties.

$1.$ $A$ is increasing, i.e., If $x \in A$ and $x \subseteq y$ then $y \in A$ too.

[$x \subseteq y$ means that every coordinate of $y$ is greater that or equal to corresponding coordinate of $x$]

$2.$ $A^c$ is equal to set $B=\{x \mid x^c \in A\}$

Is there any characterization for such a set? I have to example for it. But I want to find an IFF condition for such sets...

$e1)$ $A=\{x|$ first coordinate of $x$ is $1\}$

$e2)$ Fix an odd number of coordinates. $A= \{x\mid x$ contains at least half of coordinates equal to $1\}$

[For even number there is a similar example]


P.S. Asked It before Here: https://math.stackexchange.com/questions/2135708/when-set-of-complements-is-equal-to-complement-of-set

replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link
Loading
added 144 characters in body
Source Link
MR_BD
  • 550
  • 5
  • 18
Loading
edited tags
Link
Andrés E. Caicedo
  • 32.5k
  • 5
  • 133
  • 240
Loading
Source Link
MR_BD
  • 550
  • 5
  • 18
Loading