مقایسه S - سیستم های راست صادق در شرط (PWPssc) با سایر خواص همواری

مطالعه عمومی در مورد ویژگی های همواری از S - سیستم های راست در اوایل دهه ۱۹۷۰ آغاز شد که بررسی جامع از این تحقیق (تا سال ۲۰۰۰) در [۲] یافت می شود. در [۳] مفهوم به طور اساسی ضعیف از شرط (P) که شرط (PWP) نامیده می شود، معرفی و در [۱] مفهوم ضعیف از شرط (PWP) که (PWPE) نامیده می شود، تعریف شد. در این مقاله ابتدا شرط (PWPssc )را تعریف کرده، و سپس یک دسته بندی از تکواره ها ارائه می دهیم به طوری که همه سیستم ها (دوری، تک دوری) در شرط (PWPssc) صدق کنند. همچنین یک دسته بندی از تکواره ها ارائه می دهیم به طوری که سیستم های دارای برخی خواص همواری، در شرط (PWPssc) صدق کنند. سرانجام نشان می دهیم اگر (∗) یک ویژگی روی S- سیستم ها باشد به طوری که همواری ⇐ویژگی (∗) ⇐ بدون تاب، آن گاه S، حذف پذیر راست است و ویژگی (∗) در S - سیستم ها، شرط (PWPssc) را نتیجه می دهد و اگر (∗) یک ویژگی روی S-سیستم ها باشد به طوری که همواری ⇐ ویژگی (∗) ⇐همواری ضعیف، آن گاه PSF، S چپ است و ویژگی (∗) در S- سیستم ها ،به طور ضعیف عقب بر هموار را نتیجهمی دهد.

کلیدواژه ها:

S -سیستم ، شرط (PWPssc) ، سیستم دوری.