گاهی به عباراتی مانند $1+2+\cdots +100$ می‌رسیم که به صورت جمع تعدادی زیادی جمله‌ی مربوط به هم است. در ریاضیات نمادی به نام سیگما ($\sum$) برای ساده‌نویسی چنین عباراتی وجود دارد. در این صفحه با این نماد آشنا می‌شوید.

فرض کنید دنباله‌ای به صورت $a_1,a_2,\dots ,a_n$ داریم. مجموع اعضای این دنباله ($a_1+a_2+\dots +a_n$) را در نظر بگیرید. این جمع را می‌توان با نماد $\sum$ به صور زیر، ساده‌نویسی کرد: $$a_1+a_2+\dots +a_n=\sum _{i=1}^n{a}_i$$

هم‌چنین اگر بخواهیم مجموع اعضای دنباله از عضو $s$-ام تا عضو $t$-ام ($a_s+a_{s+1}+\dots +a_t$) را ساده‌نویسی کنیم، به صورت زیر از نماد $\sum$ استفاده می‌کنیم: $$a_s+a_{s+1}+\dots +a_t=\sum _{i=s}^t{a}_i$$

در ساده‌نویسی‌های بالا، $i$، متغیر سیگماست. متغیر سیگما می‌تواند حروف دیگر نیز باشد. حتی می‌توانیم چند متغیر سیگما داشته باشیم که در ادامه خواهید دید.

در ساده‌نویسی‌های بالا، به ازای $i$-های مختلف، مجموع تعدادی از جمله‌های دنباله را ساده‌نویسی کرده‌ایم. حدود $i$ نیز در بالا و پایین سیگما مشخص می‌شود. ساده‌نویسی‌های بالا، مرسوم‌ترین روش‌های ساده‌نویسی با نماد $\sum$ هستند که در آن، حدود $i$ از یک عدد (در پایین سیگما) تا یک عدد دیگر (در بالای سیگما) است. روش‌های زیاد دیگری نیز برای ساده‌نویسی با سیگما وجود دارد که در ادامه خواهید دید.

مثال: عبارات زیر را با سیگما ساده‌نویسی کنید:

1. $$1+2+\dots +100$$
2. $$f(1)+f(3)+\dots +f(2n-1)$$
3. $$a_1+2a_2+\dots +n{a}_n$$
4. $$2+4+\dots +2n$$
5. $$1+4+\dots +10000$$
6. $$1\times 1!+2\times 2!+\dots +n\times n!$$
7. $$1-\frac{1}{3}+\frac{1}{5}-\dots +\frac{1}{99}$$

‌

تمام ساده‌نویسی با $\sum$، به صورتی که گفته شد، نیست. روش‌های دیگری نیز وجود دارد. در زیر، برخی از آن‌ها را می‌بینید:

• گاهی نیازی نیست حدود متغیر سیگما را مشخص کنیم؛ یعنی پایین و بالای $\sum$ چیزی نمی‌نویسیم. این به معنای آن است که به ازای تمام حالت‌های متغیر سیگما، عبارت جلوی سیگما را حساب کرده و جمع می‌کنیم. برای مثال، اگر دنباله‌ای مانند $a_1,a_2,\dots ,a_n$ داشته باشیم، عبارت $$\sum a_i$$ به معنای جمع تمام اعضای دنباله است.
• گاهی حدود متغیر را به روشی دیگر، مشخص می‌کنیم. برای مثال، برای ساده‌سازی عبارت $f(0)+f(1)+\dots +f(100)$ می‌توان از عبارت $$\sum _{0\le k\le 100}f(k)$$ استفاده کرد. به عنوان مثالی دیگر، عبارت زیر به معنای آن است که به ازای تمام عضوهای مجموعه‌ی $S$ مانند $x$، مقدار $2^x$ را حساب می‌کنیم و این مقادیر را با هم جمع می‌کنیم: $$\sum _{x\in S}{2}^x$$
• گاهی چند متغیر سیگما داریم. برای مثال، برای ساده‌سازی عبارت $$1\times 1+1\times 2+\dots +1\times 10+2\times 1+2\times 2+\dots +2\times 10+\dots +10\times 1+10\times 2+\dots +10\times 10$$ می‌توان از عبارت $$\sum _{1\le x,y\le 10}x\times y$$ استفاده کرد.
• می‌توان سیگماهای تو در تو استفاده کرد. مثلن عبارت $$1\times 1+1\times 2+\dots +1\times 10+2\times 1+2\times 2+\dots +2\times 10+\dots +10\times 1+10\times 2+\dots +10\times 10$$ را می‌توان با عبارت $$\sum _{i=1}^{10}\sum _{j=1}^{10}i\times j$$ ساده‌سازی کرد. عبارت ساده‌شده‌ی بالا به آن معناست که به ازای هر $i$ از ۱ تا ۱۰، عبارت $\sum _{j=1}^{10}i\times j$ حساب شود و این مقادیر با هم جمع شوند.

سیگما، خواصی دارد که برخی از آن‌ها در زیر آمده است. توجه کنید که نیازی نیست این خواص را حفظ کنید؛ زیرا اکثر این خواص بدیهی هستند و هنگام ساده‌نویسی و کار با سیگما، به راحتی به ذهن می‌رسند. این خواص صرفن جهت آشنایی در زیر نوشته شده‌اند:

• از آن جایی که $$f(s)+f(s+1)+\dots +f(b)+f(b+1)+f(b+2)+\dots +f(t)=f(s)+f(s+1)+\dots +f(t)$$ پس $$\sum _{i=s}^{b}f(i)+\sum _{i=b+1}^{t}f(i)=\sum _{i=s}^{t}f(i)$$
• فرض کنید $c$، یک عدد ثابت باشد. از آن‌جایی که $$c\times f(s)+c\times f(s+1)+\dots +c\times f(t)=c\times (f(s)+f(s+1)+\dots +f(t))$$ پس $$\sum _{i=s}^{t}c\times f(i)=c\sum _{i=s}^{t}f(i)$$ در واقع می‌توان ضریب ثابت را از سیگما بیرون کشید.
• فرض کنید $c$، یک عدد ثابت باشد. از آن‌جایی که $$(f(s)+c)+(f(s+1)+c)+\dots +(f(t)+c)$$ پس $$\sum _{i=s}^t(f(i)+c)=(t-s+1)\times c+\sum _{i=s}^{t}f(i)$$ در واقع به روش بالا می‌توان جمع‌وند ثابت را از سیگما بیرون کشید.
• از آن جایی که $$f(s)+f(s+1)+\dots +f(t)+g(s)+g(s+1)+\dots +g(t)=(f(s)+g(s))+(f(s+1)+g(s+1))+\dots +(f(t)+g(t))$$ پس $$\sum _{i=s}^{t}f(i)+\sum _{i=s}^{t}g(i)=\sum _{i=s}^t(f(i)+g(i))$$ در واقع گاهی به روش بالا می‌توان دو سیگما را ادغام کرد.
• از آن‌ جایی که $$f(s+1)-f(s)+f(s+2)-f(s+1)+\dots +f(t+1)-f(t)=f(t+1)-f(s)$$ پس $$\sum _{i=s}^t(f(i+1)-f(i))=f(t+1)-f(s)$$ به این قاعده، قاعده‌ی ادغام می‌گویند.
• می‌توان متغیر سیگما را مقداری انتقال داد. در واقع: $$\sum _{i=s}^{t}f(i)=\sum _{i=s+p}^{t+p}f(i-p)$$
• در سیگماهای تو در تو، گاهی می‌توان جای دو سیگما را عوض کرد. در واقع: $$\sum _x\sum _y{a}_{x,y}=\sum _y\sum _x{a}_{x,y}$$

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

فرض کنید دنباله‌ای مانند $a_1,a_2,\dots$ داریم. عبارت $a_1+a_2+\dots$ را می‌توان با $$\sum _{i=1}^{\mathrm{\infty }}{a}_i$$ ساده‌نویسی کرد. همانند مجموع‌های متناهی، روش‌های ساده‌نویسی با سیگما و خواص سیگما را می‌توان برای مجموع‌های نامتناهی نیز به کار برد.

مثال: عبارات زیر را با سیگما ساده‌نویسی کنید:

1. $$\frac{1}{1}-\frac{1}{2}+\frac{1}{4}-\dots$$
2. $$\dots +a_{-2}{x}^{-2}+a_{-1}{x}^{-1}+a_0{x}^0+a_1{x}^1+a_2{x}^2+\dots$$

مثال: ثابت کنید: $$\sum _{i=1}^n\frac{1}{i(i+1)}=1-\frac{1}{n+1}$$

مثال: عدد طبیعی $n$ را در نظر بگیرید. به ازای هر مقسوم‌علیه $n$ مانند $d$ مقدار $d!$ را حساب کرده و این فاکتوریل‌ها را با هم جمع می‌کنیم. به عدد حاصل، $f(n)$ می‌گوییم. برای مثال، $$f(4)=1!+2!+4!=27$$ مقدار $f(n)$ را با سیگما نشان دهید.

مثال: فرض کنید $n$ یک عدد طبیعی به صورت $2^k$ باشد. ثابت کنید: $$1+\frac{k}{2}\le \sum _{i=1}^n\frac{1}{i}\le k+1$$ سپس ثابت کنید: $$\sum _{i=1}^{\mathrm{\infty }}\frac{1}{i}=\mathrm{\infty }$$

سیگما خواصی دیگر نیز دارد که برخی از آن‌ها در زیر آمده است:

• فرض کنید دو مجموعه‌ی $A$ و $B$ داریم که به ازای هر عضو $A$ مانند $x$، یک عضو از $B$ مانند $\sigma (x)$ متناظر شده باشد و این تناظر، یک به‌یک باشد. در این صورت: $$\sum _{y\in B}f(y)=\sum _{x\in A}f(\sigma (x))$$
• فرض کنید $f$ تابعی ناکاهشی (صعودی) و $g$ تابعی ناافزایشی (نزولی) باشد. با گرفتن مستطیل‌هایی با یک ضلع واحد، برای تقریب زدن انتگرال، داریم: $${\int }_{a-1}^{b}f(s)ds\le \sum _{i=a}^{b}f(i)\le {\int }_a^{b+1}f(s)ds$$ و $${\int }_a^{b+1}g(s)ds\le \sum _{i=a}^{b}g(i)\le {\int }_{a-1}^{b}g(s)ds$$

دنباله‌ی $\frac{1}{1},\frac{1}{2},\frac{1}{3},\dots$ را در نظر بگیرید. به این سری، سری هارمونیک می‌گویند. مجموع اعداد این سری در مثال‌ها بررسی شد و به دست آمد که مجموع اعداد سری هارمونیک، تا عضو $n$-ام از $\theta (lg(n))$ و مجموع تمام اعضا، برابر $\mathrm{\infty }$ است.

این سری کاربردهای بسیاری دارد. برای مثال در تحلیل پیچیدگی زمانی الگوریتم غربال اراتستن از این سری استفاده می‌شود.

1. سیگما، ویکی‌پدیا
2. سیگما، mathtutor
3. سری‌ها، ویکی‌پدیا