%        نمونه پایان‌نامه آماده شده با استفاده از کلاس vahid-thesis
%        وحید دامن‌افشان، دانشگاه تبریز،   <vdamanafshan@yahoo.com>


%        توجه داشته باشید برای دیدن خروجی کامل شامل نمایه و فهرست مطالب در ویرایشگر Texmaker 
%        ابتدا دو بار کلید F1  و بعد کلید F12 و دوباره کلید F1 و در آخر کلید F7 را فشار دهید.
%        توضیحات مربوط به هر بسته یا دستور را می‌توانید در خط بالایی آن ببینید.

%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%

\documentclass[a4paper,11pt]{vahid-thesis}
% در ورژن جدید زی‌پرشین برای تایپ متن‌های ریاضی، این سه بسته، حتماً باید فراخوانی شود
\usepackage{amsthm,amssymb,amsmath}
% بسته‌ای برای تنطیم حاشیه‌های بالا، پایین، چپ و راست صفحه
\usepackage[top=50mm, bottom=50mm, left=38mm, right=38mm]{geometry}
% بسته‌‌ای برای ظاهر شدن شکل‌ها و تصاویر متن
\usepackage{graphicx}
% بسته‌‌ای برای چاپ شدن خودکار تعداد صفحات در صفحه «معرفی پایان‌نامه»
\usepackage{lastpage}
% بسته‌‌ای برای ایجاد دیاگرام‌های مختلف
\usepackage[all]{xy}

% بسته‌ و دستوراتی برای ایجاد لینک‌های رنگی با امکان جهش
\usepackage[pagebackref=true,colorlinks,linkcolor=blue,citecolor=magenta]{hyperref}
% چنانچه قصد پرینت گرفتن نوشته خود را دارید، خط بالا را غیرفعال و  از دستور زیر استفاده کنید چون در صورت استفاده از دستور زیر‌‌، 
% لینک‌ها به رنگ سیاه ظاهر خواهند شد که برای پرینت گرفتن، مناسب‌تر است
%\usepackage[pagebackref=false]{hyperref}
% بسته‌ای برای ایجاد جعبه و کادر
\usepackage{fancybox}
% بسته‌ لازم برای تنظیم سربرگ‌ها
\usepackage{fancyhdr}
% بسته‌ای برای ظاهر شدن «مراجع» و «نمایه» در فهرست مطالب
\usepackage{tocbibind}
% دستورات مربوط به ایجاد نمایه
\usepackage{makeidx}
\makeindex
%%%%%%%%%%%%%%%%%%%%%%%
% فراخوانی بسته زی‌پرشین و تعریف قلم فارسی و انگلیسی
\usepackage{xepersian}
\settextfont{XB Niloofar}
% از revision 118 زی‌پرشین به بعد، وارد کردن دستور زیر لازم نیست. توجه داشته باشید که در صورت  غیرفعال کردن این دستور،
% از فونت پیش‌فرض لاتک برای کلمات انگلیسی استفاده خواهد شد.
\setlatintextfont[ExternalLocation,BoldFont={lmroman10-bold},BoldItalicFont={lmroman10-bolditalic},ItalicFont={lmroman10-italic}]{lmroman10-regular}
% چنانچه می‌خواهید اعداد در فرمول‌ها، فارسی باشد، خط زیر را نیز فعال کنید
%\setdigitfont[Scale=1.1]{XB Zar}
%%%%%%%%%%%%%%%%%%%%%%%
% تعریف قلم‌های فارسی و انگلیسی اضافی برای استفاده در بعضی از قسمت‌های متن
\defpersianfont\nastaliq[Scale=2]{IranNastaliq}
\defpersianfont\titr[Scale=1]{XB Titre}
%\defpersianfont\traffic[Scale=1]{B Traffic}
% چنانچه فونت B Traffic را ندارید، دستور بالا را غیرفعال کرده و دستور زیر را فعال کنید
%\defpersianfont\traffic[Scale=1]{XB Niloofar}
% دستوری برای حذف کلمه «چکیده»
\renewcommand{\abstractname}{}
% دستوری برای حذف کلمه «abstract»
\renewcommand{\latinabstract}{}
% دستوری برای تغییر نام کلمه «اثبات» به «برهان»
\renewcommand\proofname{\textbf{برهان}}
% دستوری برای تغییر نام کلمه «کتاب‌نامه» به «مراجع»
\renewcommand{\bibname}{مراجع}
% دستوری برای تعریف واژه‌نامه انگلیسی به فارسی
\newcommand\persiangloss[2]{#1\dotfill\lr{#2}\\}
% دستوری برای تعریف واژه‌نامه فارسی به انگلیسی 
\newcommand\englishgloss[2]{#2\dotfill\lr{#1}\\}
%%%%%%%%%%%%%%%%%%%%%%%
% تعریف و نحوه ظاهر شدن عنوان قضیه‌ها، تعریف‌ها، مثال‌ها و ...
\theoremstyle{definition}
\newtheorem{definition}{تعریف}[section]
\theoremstyle{theorem}
\newtheorem{theorem}[definition]{قضیه}
\newtheorem{lemma}[definition]{لم}
\newtheorem{proposition}[definition]{گزاره}
\newtheorem{corollary}[definition]{نتیجه}
\newtheorem{remark}[definition]{ملاحظه}
\theoremstyle{definition}
\newtheorem{example}[definition]{مثال}
%%%%%%%%%%%%%%%%%%%%%%%
% تعریف دستورات جدید برای خلاصه نویسی و راحتی کار در هنگام تایپ فرمول‌های ریاضی
\newcommand{\bR}{\mathbb{R}}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\cO}{\mathcal{O}}
\newcommand{\cG}{\mathcal{G}}
\newcommand{\cU}{\mathcal{U}}
\newcommand{\cK}{\mathcal{K}}
\newcommand{\cS}{\mathcal{S}}
\newcommand{\rM}{\mathrm{M}}
\newcommand{\rC}{\mathrm{C}}
\newcommand{\rV}{\mathrm{V}}
\newcommand{\ls}{\mathrm{LSC}_{+}(X)}
\newcommand{\ce}{\mathrm{C}^{*}(X)}
\newcommand{\lsc}{\mathrm{LSC}}
\newcommand{\fB}{\mathfrak{B}}
\newcommand{\fM}{\mathfrak{M}}
\newcommand{\bt}{\begin{theorem}}
\newcommand{\et}{\end{theorem}}
\newcommand{\bl}{\begin{lemma}}
\newcommand{\el}{\end{lemma}}
\newcommand{\bc}{\begin{corollary}}
\newcommand{\ec}{\end{corollary}}
\newcommand{\bp}{\begin{proof}}
\newcommand{\ep}{\end{proof}}
\newcommand{\be}{\begin{example}}
\newcommand{\ee}{\end{example}}
\newcommand{\bd}{\begin{definition}}
\newcommand{\ed}{\end{definition}}
\newcommand{\ba}{\begin{align}}
\newcommand{\ea}{\end{align}}
\newcommand{\no}{\nonumber}
% دستورهایی برای سفارشی کردن سربرگ صفحات
\pagestyle{fancy}
\cfoot{}
\lhead{\thepage}
%%%%%%%%%%%%%%%%%%%%%%%
% دستورهایی برای ایجاد کادر (جعبه)
\newenvironment{fminipage}%
{\begin{Sbox}\begin{minipage}}%
{\end{minipage}\end{Sbox}\fbox{\TheSbox}}
%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
% دانشکده، آموزشکده و یا پژوهشکده  خود را وارد کنید
\faculty{دانشکده علوم ریاضی}
% گروه آموزشی خود را وارد کنید
\department{گروه ریاضی محض}
% نوع نوشته (پایان‌نامه یا رساله) را تعیین کنید
\type{پایان‌نامه}
% درجه مورد نظر  را تعیین کنید
\degree{کارشناسی ارشد }
% گروه آموزشی خود را وارد کنید
\subject{ریاضی محض}
% گرایش خود را وارد کنید
\field{آنالیز ریاضی}
% عنوان پایان‌نامه را وارد کنید
\title{ \textbf{{\titr دامنه‌توانی احتمالی برای فضاهای }} }
% اگر عنوان پایان‌نامه شما طولانی است می‌توانید بخشی از آن را در قسمت زیر وارد کنید. در این صورت فاصله بین دو خط زیادتر     
% شده و باعث خوانایی و زیبایی عنوان پایان‌نامه می‌شود
\tit{\textbf{{\titr  فشرده پایدار}} }
% نام استاد راهنما را وارد کنید
\supervisor{{\nastaliq \normalsize دکتر .....}}
% نام استاد مشاور را وارد کنید
\advisor{{\nastaliq \normalsize دکتر .....}}
% نام پژوهشگر را وارد کنید
\author{{\nastaliq \normalsize وحید دامن‌افشان }}
% تاریخ پایان‌نامه را وارد کنید
\thesisdate{ ۱۳۸۸}
\maketitle
%%%%%%%%%%%%%%%%%%%%%%%
 % پایان‌نامه خود را تقدیم کنید!!!
 \begin{acknowledgementpage}

\vspace{4cm}

{\nastaliq
{\Huge تقدیم به همه آنهایی که 
\vspace{1.5cm}

\hspace{3cm}
می خواهند بیشتر بدانند
}}
\end{acknowledgementpage}
%%%%%%%%%%%%%%%%%%%%%%%
% ستایش
\baselineskip=.750cm
\thispagestyle{empty}
 
{\nastaliq
خدایا...
}\\
\vspace{.5cm}\\
به من زیستنی عطا کن که در لحظه مرگ، بر بی‌ثمری لحظه‌ای که برای زیستن گذشته است، حسرت نخورم   و مُردنی عطا کن که بر بیهودگیش، سوگوار نباشم. بگذار تا آن را، خود انتخاب کنم، اما آنچنان که تو دوست می‌داری.\\
تو می‌دانی و همه می‌دانند که شکنجه دیدن بخاطر تو، زندانی کشیدن بخاطر تو و رنج بردن به پای تو تنها لذت بزرگ زندگی من است، از شادی توست که من در دل می‌خندم، از امید رهایی توست که برق امید در چشمان خسته‌ام می‌درخشد و از خوشبختی توست که هوای پاک سعادت را در ریه‌هایم احساس می‌کنم. نمی‌توانم خوب حرف بزنم. نیروی شگفتی را که در زیر کلمات ساده و جمله‌های ضعیف و افتاده، پنهان کرده‌ام دریاب، دریاب.\\
تو می‌دانی و همه می‌دانند که زندگی از تحمیل لبخندی بر لبان من، از آوردن برق امیدی در نگاه من، از برانگیختن موج شعفی در دل من، عاجز است.\\
تو، چگونه زیستن را به من بیاموز، چگونه مردن را خود خواهم آموخت.\\
به من توفیق تلاش در شکست، صبر در نومیدی، رفتن بی‌همراه، جهاد بی‌سلاح، کار بی‌پاداش، فداکاری در سکوت، دین بی‌دنیا، مذهب بی‌عوام، عظمت بی‌نام، خدمت بی‌نان، ایمان بی‌ریا، خوبی بی‌نمود، گستاخی بی‌خامی، قناعت بی‌غرور، عشق بی‌هوس، تنهایی در انبوه جمعیت، و دوست داشتن بی‌آنکه دوست بداند،  روزی کن. 

\vspace{1.5cm}
{\nastaliq
\hspace{1cm}
اگر تنها‌ترین تنها شوم، باز خدا هست
\vspace{.8cm}

\hspace{4.7cm}
او جانشین همه نداشتن‌هاست...
}
%%%%%%%%%%%%%%%%%%%%%%%
\newpage
% سپاس‌گزاری
{\nastaliq
سپاس‌گزاری...
}
\\[2cm]
سپاس خداوندگار حکیم را که با لطف بی‌کران خود، آدمی را زیور عقل آراست.


در آغاز وظیفه‌  خود  می‌دانم از زحمات بی‌دریغ استاد  راهنمای خود،  جناب آقای دکتر  ...، صمیمانه تشکر
و  قدردانی کنم  که قطعاً بدون 
راهنمایی‌های ارزنده‌  ایشان، این مجموعه  به انجام  نمی‌رسید.


از جناب  آقای  دکتر ...   که زحمت  مطالعه و مشاوره‌  این رساله
را تقبل  فرمودند و
در آماده سازی  این رساله، به نحو احسن اینجانب را مورد راهنمایی قرار دادند، کمال امتنان را دارم.




همچنین لازم می‌دانم از پدید آورندگان بسته زی‌پرشین، مخصوصاً جناب آقای  وفا خلیقی، که این پایان‌نامه با استفاده از این بسته، آماده شده است و نیز از آقای دکتر مرتضی فغفوری و آقای محمود امین‌طوسی به خاطر پاسخ‌گویی به سوالاتم  در مورد  \LaTeX،  کمال قدردانی را داشته باشم.

 در پایان، بوسه می‌زنم بر دستان خداوندگاران مهر و مهربانی، پدر و مادر عزیزم و بعد از خدا، ستایش می‌کنم وجود مقدس‌شان را و تشکر می‌کنم از برادران عزیزم به پاس عاطفه سرشار و گرمای امیدبخش وجودشان، که در این سردترین روزگاران، بهترین پشتیبان من بودند.
\\[1cm]
\hspace*{10.4cm} 
 وحید دامن‌افشان

\hspace{10cm} شهریور ۱۳۸۸

%%%%%%%%%%%%%%%%%%%%%%%
% معرفی پایان‌نامه و چکیده به فارسی
\thispagestyle{empty}
\begin{abstractpage}
\begin{center}
\vspace*{-2cm}\normalsize\setlength{\fboxsep}{4pt}
\begin{fminipage}{5.1in}
\baselineskip=.750cm

نام خانوادگی: دامن افشان
\hspace{3cm}
نام: وحید

\hrulefill

عنوان پایان‌نامه: دامنه‌توانی احتمالی برای فضاهای فشرده پایدار

\hrulefill

استاد راهنما: دکتر ...

استاد مشاور: دکتر ...

\hrulefill

مقطع تحصیلی: کارشناسی ارشد   \hspace{1cm} رشته: ریاضی محض     \hspace{1cm}   گرایش: آنالیز ریاضی 

\hrulefill
 
 دانشگاه: تبریز  \hspace{5.5cm} دانشکده: علوم ریاضی 

 تاریخ فارغ‌التحصیلی: تابستان ۱۳۸۹ \hspace{2.3cm} تعداد صفحه: \pageref{LastPage} 
% با حذف دستور بالا، مجبور می‌شوید تعداد صفحات را بصورت دستی وارد کنید

\hrulefill

کلیدواژه‌ها: ارزیابی، دامنه‌توانی احتمالی، فضای فشرده پایدار

\hrulefill

\textbf{چکیده} 

این پایان‌نامه، به بحث در مورد تناظر یک‌به‌یک بین فضاهای فشرده پایدار و فضاهای هاسدورف مرتب فشرده می‌پردازد. این تناظر به کلاس‌های معینی از توابع حقیقی مقدار روی این فضاها توسیع می‌یابد. این کار پایه‌ای برای روش‌های انتقال و نتایجی از آنالیز تابعی به محیط‌های غیر هاسدورف است.

به عنوان کاربردی از این حالت،  قضیه نمایش ریس، برای اثبات سرراست این واقعیت (مشهور) که هر ارزیابی روی یک فضای فشرده پایدار، بطور یکتا به یک اندازه رادون روی جبر بورل فضای هاسدورف فشرده متناظر توسیع می‌یابد، استفاده می‌شود.
 
 نظریه ارزیابی‌ها و اندازه‌ها، به عنوان تابعی‌های خطی معین روی فضاهای تابع، در نظر گرفتن یک توپولوژی ضعیف برای فضای همه ارزیابی‌ها را پیشنهاد می‌کند. اگر این موارد به حالت‌های احتمالی یا زیراحتمالی محدود شود، آنگاه فضای فشرده پایدار دیگری بدست می‌آید. به فضای مرتب فشرده متناظر، می‌توان به عنوان مجموعه اندازه‌های (احتمالی یا زیر احتمالی) همراه با توپولوژی ضعیف طبیعی آنها نگاه کرد. 
\end{fminipage}
\end{center}
\end{abstractpage}
%%%%%%%%%%%%%%%%%%%%%%%
% دستوری برای ظاهر شدن فهرست مطالب
\tableofcontents
% در صورتی که در پایان‌نامه خود، تصویر و شکل نیز دارید، دستور زیر را فعال کنید تا لیست اشکال نیز ایجاد شود
%\listoftables
% وارد کردن فصلهای پایان‌نامه که هر کدام در فایلی جداگانه نوشته شده است:
% توجه داشته باشید که برای وارد کردن مطالب هر
% فصل باید فایل فصل مربوطه را باز کرده و مطالب خود را در آن تایپ کنید.  برای دیدن خروجی باید یک بار آن فصل را save کرده و 
% سپس به همین فایل برگشته و دکمه F1 را   فشار دهید. به زبان ساده‌تر، اگر مثلاً می‌خواهید مطالب فصل ۱ را تایپ کنید ابتدا 
% فایل فصل ۱همراه با همین فایل حاضر را باز کنید (هر دو در یک پنجره) و سپس شروع به تایپ کردن مطالب خود کنید و بعد برای 
% دیدن خروجی، ابتدا برروی گزینه save کلیک کرده و بعد به همین صفحه برگشته و دکمه F1 را  فشار دهید. حال خروجی شما آماده 
% است.
%\include{1-introduction}
%\include{2-compact-ordered}
%\include{3-measure-valuation}
%\include{4-topology}
% دستوراتی برای به حالت عادی درآمدن اندازه فونت‌ها و فاصله بین خطوط
\normalsize
\small
% مراجع خود را در این قسمت وارد کنید
\begin{thebibliography}{99}
% چنانچه مرجع فارسی هم دارید باید دستور زیر را فعال کرده و مراجع فارسی خود را بعد از این دستور وارد کنید
%\Persian
\Latin

\bibitem{abramsky1}
S. Abramsky, {\em Domain theory in logical form}, Ann. Pure Applied Logic 51 (1991) 1–77.

\bibitem{abramsky2}
S. Abramsky, A. Jung, {\em Domain theory}, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of
Logic in Computer Science, Vol. 3, Clarendon Press, Oxford, 1994, pp. 1–68.

%\bibitem{aliprantis}
%C.D. Aliprantis and O. Burkinshaw,   {\em Principles of Real Analysis}.  Academic Press.  1998,  xii+415 pp.

\bibitem{alvarez1}
M. Alvarez-Manilla, {\em Measure theoretic results for continuous valuations on partially ordered spaces}, Ph.D.
thesis, Imperial College, University of London, 2001.

\bibitem{alvarez2}
M. Alvarez-Manilla, A. Edalat, N. Saheb-Djahromi, {\em An extension result for continuous valuations}, J. London
Math. Soc. 61 (2000) 629–640.

\bibitem{birkhoff}
G. Birkhoff, {\em Lattice Theory}, 3rdEd ition,AMS Colloq. Publication,Vol. 25, American Mathematical Society,
Providence, 1967.

\bibitem{choq1}
G. Choquet, {\em Theory of capacities}, Ann. Inst. Fourier, Grenoble 5 (1953) 131–296.

\bibitem{choq2}
G. Choquet, {\em Lectures on Analysis}, Vol. 2,W. A. Benjamin Inc., London, 1969.

\bibitem{desh}
J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, {\em Metrics for labeled Markov systems}, in: J.C.M.
Baeten, S. Mauw (Eds.), Proc. 10th Internat. Conf. on Concurrency Theory, Lecture Notes in Computer
Science, Vol. 1664, Springer, Berlin, 1999, pp. 258–273.

\bibitem{edward1}
D.A. Edwards, {\em On the existence of probability measures with given marginals}, Ann. Inst. Fourier, Grenoble,
28 (1978) 53–78.

\bibitem{gierz1}
G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, {\em A Compendium of Continuous
Lattices}, Springer, Berlin, 1980.

\bibitem{gierz2}
G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, {\em Continuous Lattices and
Domains}, Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press,
Cambridge, 2003 (Revisedande xpandeded ition of [GHK+80.

\bibitem{hofmann}
K.H. Hofmann, {\em Stably continuous frames and their topological manifestations}, H.L. Bentley, H. Herrlich,
M. Rajagopalan, H.Wolff (Eds.), Categorical Topology, Proc. 1983 Conf. Toledo, Sigma Series in Pure and
AppliedMathematics, Vol. 5, Heldermann, Berlin, 1984, pp. 282–307.

\bibitem{horn}
A. Horn, A. Tarski, {\em Measures on Boolean algebras}, Trans. Amer. Math. Soc. 64 (1948) 467–497.

\bibitem{jones1}
C. Jones, {\em Probabilistic non-determinism}, Ph.D. thesis, University of Edinburgh, Edinburgh, 1990. Also
publishedas Technical Report No. CST-63-90.

\bibitem{jones2}
C. Jones, G. Plotkin, {\em A probabilistic powerdomain of evaluations}, in: Proc. 4th Annu. Symp. on Logic in
Computer Science, IEEE Computer Society Press, 1989, pp. 186–195.

\bibitem{jung1}
A. Jung, {\em Cartesian Closed Categories of Domains}, CWI Tracts, Vol. 66, Centrum voor Wiskunde en
Informatica, Amsterdam, 1989. 107 pp.

\bibitem{jung2}
A. Jung, {\em The classification of continuous domains}, in: Proc. 5th Annu. IEEE Symp. Logic in Computer
Science, IEEE Computer Society Press, Silverspring, MD, 1990, pp. 35–40.

\bibitem{jung3}
A. Jung, {\em Stably compact spaces andthe probabilistic powerspace construction}, in: J. Desharnais, P.
Panangaden (Eds.), Proc. Workshop on Domain-theoretic Methods in Probabilistic Processes, Electronic
Notes in Theoretical Computer Science, Vol. 87, Elsevier Science Publishers B.V., Amsterdam, 2004.

\bibitem{jung4}
A. Jung, R. Tix, {\em The troublesome probabilistic powerdomain}, in: A. Edalat, A. Jung, K. Keimel, M.
Kwiatkowska (Eds.), Proc. 3rd Workshop on Computation and Approximation, Electronic Notes in
Theoretical Computer Science, Vol. 13, Elsevier Science Publishers B.V., Amsterdam, 1998, p. 23 pages.

\bibitem{kegelmann}
M. Kegelmann, {\em Continuous domains in logical form}, Ph.D. thesis, School of Computer Science, The
University of Birmingham, 1999.

\bibitem{keimel}
K. Keimel, {\em The probabilistic powerdomain for the upwards topology of compact ordered spaces},
J. Desharnais, P. Panangaden (Eds.), Proc. Workshop on Domain-theoretic Methods in Probabilistic
Processes, Electronic Notes in Theoretical Computer Science, Vol. 87, Elsevier Science Publishers B.V.,
Amsterdam, 2004.

\bibitem{kirch}
O. Kirch, {\em Bereiche und Bewertungen}. Master’s thesis, Technische Hochschule Darmstadt, June 1993, 77pp.

\bibitem{Konig}
H. K¨onig,  {\em Measure and Integration}, Springer–Verlag, 1997, xxi+260 pp.

\bibitem{kozen}
D. Kozen, {\em Semantics of probabilistic programs}, J. Comput. System Sci. 22 (1981) 328–350.

\bibitem{lawson1}
J.D. Lawson, {\em Valuations on continuous lattices}, in: R.E. Hoffmann (Ed.), Continuous Lattices and Related
Topics, Mathematik Arbeitspapiere, Vol. 27, Universität Bremen, 1982, pp. 204–225.

\bibitem{lawson2}
J.D. Lawson, {\em The versatile continuous order}, in: M. Main, A. Melton, M. Mislove, D. Schmidt (Eds.),
Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science,
Vol. 298, Springer, Berlin, 1988, pp. 134–160.

\bibitem{lawson3}
J.D. Lawson, {\em Domains, Integration, and Positive Analysis}. Mathematical Structures in
Computer Science, 14 , 2004, 815-832.

\bibitem{moshier}
M.A. Moshier, A. Jung, {\em A logic for probabilities in semantics}, in: J. Bradfield (Ed.), Computer Science Logic,
Lecture Notes in Computer Science, Vol. 2471, Springer, Berlin, 2002, pp. 216–231.

\bibitem{nachbin}
L. Nachbin, {\em Topology and Order}. Van-Nostrand, Princeton, N.J., 1965.

\bibitem{pettis}
B.J. Pettis, {\em On the extension of measures}, Ann. Math. 54 (1) (1951) 186–197.

%\bibitem{rudin} 
%W. Rudin,  {\em Real and Complex Analysis}.  Mc Graw-Hill Book Comp. 1966, xi+412 pp.
%
%\bibitem{functional}
%W. Rudin,  {\em Functional Analysis},  2nd Edition, Mc Graw-Hill Book Comp.  1991,  xv+424.

\bibitem{saheb}
N. Saheb-Djahromi, {\em CPO’s of measures for nondeterminism}, Theoret. Comput. Sci. 12 (1980) 19–37.

\bibitem{scott1}
D.S. Scott, {\em Outline of a mathematical theory of computation}, in: 4th Ann. Princeton Conf. Information
Sciences andSystems, 1970, pp. 169–176.

\bibitem{scott2}
D.S. Scott, {\em Domains for denotational semantics}, in: M. Nielson, E.M. Schmidt (Eds.), International
Colloquium on Automata, Languages andPrograms, Lecture Notes in Computer Science,Vol. 140, Springer,
Berlin, 1982, pp. 577–613.

\bibitem{smyth1}
M.B. Smyth, {\em Powerdomains and predicate transformers}: a topological view, in: J. Diaz (Ed.), Automata,
Languages andProgramming, Lecture Notes in Computer Science, Vol. 154, Springer, Berlin, 1983,
pp. 662–675.

\bibitem{smyth2}
M.B. Smyth, Topology, S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), {\em Handbook of Logic in
Computer Science}, Vol. 1, Clarendon Press, Oxford, 1992, pp. 641–761.

\bibitem{topsze}
F. Topsze, {\em Topology and Measure}, Lecture Notes in Mathematics, Vol. 133, Springer, Berlin, 1970.


\end{thebibliography}
%%%%%%%%%%%%%%%%%%%%%%%
\baselineskip=.75cm
% وارد کردن واژه‌نامه فارسی به انگلیسی
\include{dic-fa2en}
% وارد کردن واژه‌نامه انگلیسی به فارسی
\include{dic-en2fa}
% دستور ظاهر شدن نمایه‌ها
\printindex

\begin{latin}


\latintitle{The probabilistic powerdomain for stably compact
spaces}
\latinauthor{Vahid Damanafshan}
\latindegree{MASTER OF SCIENCE IN PURE
MATHEMATICS}
\latinthesisdate{2009}
\latinsupervisor{...}
\latinadvisor{...}
\latinfaculty{Faculty Of Mathematical Sciences}
\latinuniversity{University Of Tabriz }
\latincity{}
\begin{latinabstract}
\thispagestyle{empty}
\clearpage
%\baselineskip=.3cm

\begin{center}
%%%%%%%%%%%%%%%%%%%%%%%
% معرفی پایان‌نامه و چکیده به انگلیسی
\setlength{\fboxsep}{2pt}
\begin{fminipage}{5in}
\baselineskip=.62cm
Surname: Damanafshan
\hspace{3cm}
Name: Vahid

\hrulefill

Title: The probabilistic powerdomain for stably compact spaces

\hrulefill

Supervisor: ...

Advisor: ...

\hrulefill

Degree: Master of Science  \hspace{1cm}  Subject: Pure Mathematics   

 Field: Mathematical Analysis


\hrulefill

 University of Tabriz \hspace{2.2cm}  Faculty of Mathematical Sciences
 
 Date: 2009    \hspace{3.6cm}      Number of Pages: \pageref{LastPage}
 

\hrulefill

Keywords: Probabilistic powerdomain; Stably compact space; Valuation

\hrulefill

\textbf{Abstract} 

This paper reviews the one-to-one correspondence between stably compact spaces (a topological
concept covering most classes of semantic domains) and compact ordered Hausdorff spaces. The
correspondence is extended to certain classes of real-valued functions on these spaces. This is the
basis for transferring methods and results from functional analysis to the non-Hausdorff setting.

As an application of this, the Riesz Representation Theorem is used for a straightforward proof of
the (known) fact that every valuation on a stably compact space extends uniquely to a Radon measure
on the Borel algebra of the corresponding compact Hausdorff space.

The view of valuations andmeasures as certain linear functionals on function spaces suggests
considering a weak topology for the space of all valuations. If these are restricted to the probabilistic
or sub-probabilistic case, then another stably compact space is obtained. The corresponding compact
ordered space can be viewed as the set of (probability or sub-probability) measures together with their
natural weak topology.

\end{fminipage}
\end{center}
\end{latinabstract}
\makelatintitle
\end{latin}
\label{LastPage}
\end{document}