Re: How to check whether an infinite set is closed under addition?
- To: mathgroup at smc.vnet.net
- Subject: [mg124313] Re: How to check whether an infinite set is closed under addition?
- From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
- Date: Mon, 16 Jan 2012 17:14:20 -0500 (EST)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- References: <201201150951.EAA19688@smc.vnet.net> <C9FCBB38-0E20-478B-97BC-BD57313E080F@mimuw.edu.pl> <C6EAFE27-EF70-42DA-8B1A-5250A05F6867@mimuw.edu.pl> <CANAzFigQi2hTXfdg-rvOB7dYjJKfoFPVZjjZ+BtH3tYdCbOnFw@mail.gmail.com> <CANAzFiikOHGAPvLUsZJFbJSWOsL8r6Kkc4WJNXYM-4WTnTvRfQ@mail.gmail.com> <CANAzFiiDRCGsMGRgMGKrJOkptnuTv-4TU2Uh9S7ravrkbg5CgA@mail.gmail.com> <CANAzFigvV5XVUF5mhcMZKmGUX=AiehHZC4JN9hYbyAGK5VFEPg@mail.gmail.com>
On 16 Jan 2012, at 02:07, Mobius ReX wrote:
> Sorry the condition of a set A to be closed under addition should be
> `Sum[a_i*n_i ,{i,1,g}] =E2=88=88 A` for any non-negative integer `n_i`, and a_i =E2=88=88 A.
>
> On Sun, Jan 15, 2012 at 5:04 PM, Mobius ReX <aoirex at gmail.com> wrote:
>> Sorry the condition of a set A to be closed under addition should be
>> `a_i*n + a_j*m =E2=88=88 A` for any positive integers `n` and `m` for any a_i =E2=88=88 A.
Of course you are right. Essentially you can use the previous code but you need to add to the base all the multiples of each element of the base that are less than the largest element of the base. In other words, I think the following should work:
closedQ[base_List] :=
Module[{b = Union[Flatten[Table[# i, {i, Last[base]/#}] & /@ base]]},
Complement[
Select[Total[Subsets[Most[b], {2}], {2}], # <= Last[base] &],
base] == {}]
For example:
closedQ[{2, 3, 5, 8}]
False
Andrzej
closedQ[{2, 3, 4, 5, 6, 7, 8}]
True
I am again assuming that the base is sorted.
Andrzej
- References:
- How to check whether an infinite set is closed under addition?
- From: Rex <aoirex@gmail.com>
- How to check whether an infinite set is closed under addition?