صفحه 1 از 1

پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: جمعه 10 شهريور 1396 - 15:11
از سوی Arya_So
مجموعه همه اعداد اول را در نظر بگیرید
آیا میتوانید یک عمل را در این مجموعه طوری تعریف کنید که این مجموعه با اون عمل تبدیل به یک گروه بشه؟!(گروه نامتناهی اعداد اول) و اگر غیرممکن است اثبات کنید!

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: جمعه 10 شهريور 1396 - 21:17
از سوی The Morrígan
فکر نمی کنم بشه. شما ضرب و تقسیم و همه ی اعمال مشتق شده یا ترکیبی از این دو تا روُ بین اعداد اول در نظر بگیری، با استنتاج یا مثال نقض میشه نشون داد که حاصلش عدد اول نمیشه.

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: شنبه 11 شهريور 1396 - 00:16
از سوی Arya_So
ممنون از پاسختون.ببینین من اثبات میخوام یا مثال نقص!برای اثبات این مساله این رویکرد میتونه مفید باشه که ما دنبال یه مجموعه و عملی باشیم که با مجموعه همه اعداد اول ایزومورف باشه و کافیست ثابت کنیم که مجموعه ایزومورف با مجموعه همه اعداد اول با اون عمل تعریف شده یک گروه است . چنین مجموعه ای میتونه هر ساختار ریاضی باشه از هندسه اقلیدسی و نا اقلیدسی بگیر تا ماتریس ها و کلا هر فضای مجرد دیگه.اینکه بگیم که با اعمال حساب و ترکیب متناهیشون از اعداد اول نمیتونیم این کارو صورت بدهیم خودش نیازمنده اثباته و نمیشه همینطوری قضاوت کرد!

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: شنبه 11 شهريور 1396 - 11:10
از سوی Arya_So
من خودم تو این مورد دارم تحقیق میکنم و اتفاقا مجموعه ای رو پیدا کرده ام و عملی رو تعریف کرده ام ولی مساله اینه که این مجموعه فراتر از همه اعداد اوله!یعنی بجز عدد اول اعداد دیگه ای هم توش هست و جالبه اینکه هرنوع عددیو تونستم طی یک فرایند حذف کنم و گروه بودنش حفظ شد ولی بیشمار عدد رو باید حذف کنم و چون این فرایند ظاهرا بینهایت میشه به مشکل برمیخورم.به عبارتی همیشه اعدادی تو این مجموعه پیدا خواهند شد که عدد اول نیستند ولی کل مجموعه یک گروه نامتناهیست.البته لازم میدونم بگم که این مجموعه زیر مجموعه اعداد طبیعی نیست بلکه با زیر مجموعه ای از اعداد طبیعی ایزومورفه.اگه بتونم به نتایجی برسم و برای دوستان جالب باشه قطعا نتایجمو تو همین تایپیک درج خواهم کرد smile072

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: دوشنبه 13 شهريور 1396 - 14:59
از سوی The Morrígan
من یکم درباره ی پرسش شما تحقیق کردم. نتیجه این که شما حتماً می تونید با مجموعه ی اعداد اول، گروه بسازید.

در واقع، برای هر مجموعه ی ناتهی، میشه عملی دودویی تعریف کرد که به اون مجموعه ساختار گروه ببخشه. این گزاره و اصل موضوع انتخاب (Axiom of Choice)، معادل هم دیگه ان.

عملی که با مجموعه ی اعداد اول تشکیل گروه بده هم پیدا کردم.
اگه دوست دارید براتون بذارم، همراه با اثبات گروه بودن مجموعه ی اعداد اول تحت اون عمل.

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: دوشنبه 13 شهريور 1396 - 18:25
از سوی Arya_So
با درود بر شما بانوی عزیز.بسیار ممنونتون خواهم شد اگه اینجا بذاریش.بعدشم معادل بودن اصل انتخاب با این گزاره که برای هر مجموعه ناتهی یک عمل دوتایی وجود دارد که اونو تبدیل به یک گروه میکنه فوقالعاده جالب میتونه باشه.اگه برای اینم لینک بذارین ممنونتون خواهم شد smile072

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: دوشنبه 13 شهريور 1396 - 20:39
از سوی The Morrígan
با توجه به این که مجموعه ی اعداد اول نامتناهی و شماراست، بین این مجموعه و مجموعه ی اعداد طبیعی یک رابطه ی یک به یک داریم. یعنی میشه اعداد اول روُ با اعداد طبیعی برچسب زد، و به ترتیب اون ها روُ شماره گذاری کرد. پس یک تابع N تعریف می کنیم که به ازای هر عدد اول، شماره ی متناظر با اون عدد اول روُ بهمون میده:

N(2) = 1
N(3) = 2
N(5) = 3
N(7) = 4
N(11) = 5

به علاوه، میشه بین مقادیر تابع N و مجموعه ی اعداد صحیح (و در نتیجه بین مجموعه ی اعداد اول و مجموعه ی اعداد صحیح) هم یک رابطه ی یک به یک پیدا کرد:

If N(p) = 2k then F(p) = k
If N(p) = 2k+1 then F(p) = -k

در واقع تابع F، اعداد اولی که شماره ی زوج دارن روُ به خارج قسمتِ صحیحِ تقسیمِ این شماره بر 2، و اعداد اولی که شماره ی فرد دارن روُ به قرینه یِ خارج قسمتِ صحیحِ تقسیمِ این شماره بر 2 می بره:

F(2) = 0
F(3) = 1
F(5) = -1
F(7) = 2
F(11) = -2
...

چون F تابعی یک به یکه، وارون پذیره. وارون F روُ با G نشون میدم:

F[G(p)] = G[F(p)] = p

حالا عمل # رو به این صورت بین هر دو عدد اول دلخواه p و q تعریف می کنم:

group operation.jpg
group operation.jpg (3.25 KIB) بازدید 1812 بار


* البته این فقط یکی از عمل های ممکنه؛ میشه عمل های دیگه ای هم پیدا کرد که با مجموعه ی اعداد اول گروه تشکیل بدن، و تنها یک عمل ممکن وجود نداره.

بن مایه: How can I prove that there exists no operation with respect to which prime numbers form a group?

------------------------------------------------------------------------

اثبات گروه بودن مجموعه ی اعداد اول تحت عمل #

proof.jpg
proof.jpg (34.39 KIB) بازدید 1812 بار


I) بسته بودن
II) عضو یکه
III) عضو وارون: اگر شماره ی متناظر با p زوج باشه، وارون p نخستین عدد اول بلافاصله پس از p ، و اگر شماره ی متناظر با p فرد باشه، وارون p نخستین عدد اول بلافاصله پیش از p خواهد بود. برای نمونه:

2=3#5=5#3
2=7#11=11#7


IV) شرکت پذیری

------------------------------------------------------------------------

تو این لینک درباره ی معادل بودن گزاره ای که گفتم و اصل موضوع انتخاب توضیح داده شده:

Does every non-empty set admit a group structure?


البته خودم نخوندمش. نمی دونم اثباتش به طور دقیق اومده یا نه.

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: سه شنبه 14 شهريور 1396 - 21:34
از سوی Arya_So
درود بی پایان دارم میخونمش با هیجان..واقعا ازتون سپاسگزارم smile072 smile072 smile072 smile072 smile072

Re: پرسشی در مورد مجموعه اعداد اول

نوشتهنوشته شده در: شنبه 1 مهر 1396 - 12:15
از سوی M_J1364@yahoo.com
سلام
من خودم چند سالی روی اعداد اول تحقیق کردم. در ضمن تونستم یه دنباله ی بازگشتی براشون پیدا کنم. اگه خواستین بگید براتون بفرستم smile020