شبکه وارون

[بندانگشتی| شبکه متقابل تولید شده توسط کامپیوتر از یک کریستال سه بعدی [دستگاه بلوری تک‌شیب|مونوکلینیک خیالی.]]
بندانگشتی| یک کریستال دو بعدی و شبکه متقابل آن
در فیزیک، **شبکه وارون** نشان دهنده تبدیل فوریه یک شبکه (گروه) دیگر (معمولاً یک شبکه براوه) است. معمولا شبکه اولیه (که تبدیل آن توسط شبکه وارون نشان معرفی می‌شود) یک تابع فضایی متناوب در فضای واقعی است که به عنوان *شبکه مستقیم* شناخته می‌شود. در حین که شبکه مستقیم در فضای واقعی وجود دارد و معمولاً به عنوان یک شبکه فیزیکی شناخته می‌شود (مانند شبکه یک کریستال)، شبکه وارون در فضای فرکانس‌های فضایی وجود دارد که به عنوان **فضای وارون** یا **فضای k** شناخته می‌شود که در آن \mathbf{k} به بردار موج اشاره دارد. در فیزیک کوانتوم، فضای وارون با توجه به معادله \mathbf{p} = \hbar \mathbf{k} به فضای تکانه بسیار نزدیک است، که در آن \mathbf{p} بردار تکانه است و \hbar ثابت پلانک است. شبکه وارون یک شبکه وارون با شبکه مستقیم اولیه برابر است، به دلیل این که معادلاتی که برایش تعریف شده با توجه به بردارهای فضای واقعی و وارون متقارن هستند. از نظر ریاضی، بردارهای شبکه مستقیم و وارون به ترتیب بردارهای کوواریانت و متضاد را معرفی می‌کنند.

شبکه وارون مجموعه تمام بردارهای \mathbf{G}_m است، که بردارهای موج‌های صفحه‌ای در سری فوریه تابع فضایی هستند که تناوب آن با شبکه مستقیم \mathbf{R}_n یکسان است. هر موج صفحه‌ای در این سری فوریه فاز یا فازهای برابری دارد که با ضرب کردن آن در 2\pi در هر نقطه شبکه مستقیم متفاوت می‌شوند (بنابراین اساساً فاز یکسان در تمام نقاط شبکه مستقیم).

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

## توضیحات مبتنی بر موج
بندانگشتی| گونه‌های جذب شده روی سطح با روبنای ۱×۲ باعث ایجاد نقاط اضافی در پراش الکترون کم انرژی (LEED) می‌شوند.

### فضای وارون
فضای وارون (که  -space نیز نامیده می‌شود) راهی برای تصور نتایج تبدیل فوریه یک تابع فضایی ایجاد می‌کند. نقش آن شبیه به حوزه فرکانسی که از تبدیل فوریه یک تابع زمانی به وجود آمده‌است. فضای وارون فضایی است که بر روی آن تبدیل فوریه یک تابع فضایی در فرکانس‌های فضایی یا بردار موج امواج صفحه تبدیل فوریه نشان داده می‌شود. دامنه خود تابع فضایی اغلب به عنوان فضای واقعی اشاره می‌شود. در کاربردهای فیزیکی، مانند کریستالوگرافی، هر دو فضای واقعی و وارون در بیشتر مواقع دوبعدی یا سه بعدی هستند. با این که ابعاد فضایی این دو فضای مرتبط برابر خواهند بود، فضاها در واحدهای طول خود متفاوت خواهند بود، تا وقتی که فضای واقعی دارای واحدهای طول **L** باشد، فضای وارون آن دارای واحدهای یک تقسیم بر طول **L** یا معکوس **L** خواهد بود. (وارون طول).

فضای وارون در رابطه با امواج، هم مکانیک کلاسیک و هم مکانیک کوانتوم، وارد بازی می‌شود؛ زیرا یک موج صفحه سینوسی با دامنه واحد را می‌توان به عنوان یک جمله تناوبی \cos{(kx {-} \omega t {+} \phi_0)}, با فاز اولیه \phi_0, ،عدد موج زاویه ای k و فرکانس زاویه ای \omega,، می‌توان آن را تابعی از هر دو k و x در نظر گرفت (و بخشی که زمان در آن متغیر است عنوان تابعی از هر دو \omega و t).این نقش تکمیل کننده k و x منجر به تجسم آنها در فضاهای مکمل (فضای واقعی و فضای وارون) می‌شود. تناوب فضایی این موج با طول موج آن یعنی لاندا تعریف می‌شود، که k \lambda = 2\pi; پس عدد موج آن در فضای وارون k = 2\pi / \lambda. خواهد بود.

در سه بعد، معادله مربوطه صفحه موج تبدیل می‌شود به \cos{(\mathbf{k} {\cdot} \mathbf{r} {-} \omega t {+} \phi_0)},، که ساده شده آن می‌شود\cos{(\mathbf{k} {\cdot} \mathbf{r} {+} \phi)} در یک زمان ثابتt,که در آن  \mathbf{r} بردار موقعیت یک نقطه در فضای واقعی است و اکنون \mathbf{k}=2\pi \mathbf{e} / \lambda بردار موج در فضای وارون سه بعدی است. (اندازه بردار موج را عدد موج می‌گویند) ثابت \phi فاز جبهه موج (صفحه فاز ثابت) از مبدأ است \mathbf{r}=0 در زمان t, و \mathbf{e} یک بردار واحد عمود بر این جبهه موج است. جبهه موج با فاز \phi + (2\pi)n ، که در آن n هر عدد صحیح را نشان می‌دهد، که دارای مجموعه ای از صفحات موازی است که فاصله آن‌ها با طول موج \lambda برابر است.

### شبکه وارون
در کل، یک شبکه هندسی یک آرایه نامتناهی و منظم از راس‌ها (نقاط) در فضا است که می‌تواند به صورت برداری به عنوان شبکه براوه مدل شود. برخی از شبکه‌ها ممکن است کج یا به عبارتی دیگر پیچ خورده باشند، به این معنی که خطوط اولیه آنها ممکن است لزوماً در زاویه درست و ۹۰ درجه خود نباشند. در فضای وارون، یک شبکه وارون به عنوان مجموعه ای از بردارهای موج \mathbf{k} تعریف می‌شود. از امواج صفحه در سری فوریه هر تابع f(\mathbf{r}) که تناوب آن با یک شبکه مستقیم اولیه در فضای واقعی سازگار است. به همین منوال، یک بردار موج یک راس شبکه وارون است اگر به یک صفحه موج در فضای واقعی که فاز آن در هر زمانی که داده می‌شود برابر باشد (در واقع با (2\pi)n با یک عدد صحیح n) در هر رأس شبکه مستقیم.

یک رویکرد ابتکاری برای ساخت شبکه وارون در سه بعد، نوشتن بردار موقعیت یک راس شبکه مستقیم به صورت \mathbf{R} = n_{1}\mathbf{a}_{1} {+} n_{2}\mathbf{a}_{2} {+} n_{3}\mathbf{a}_{3}, است که n_i عددهای صحیحی هستند که راس را تعریف می‌کنند و \mathbf{a}_i‌ها بردارهای انتقال اولیه مستقل خطی (یا به اختصار بردارهای اولیه نامیده می‌شوند) هستند که نشانی از شبکه هستند. سپس یک صفحه موج منحصر به فرد (تا یک صفحه منفی ایجاد شود) وجود دارد که جبهه موج آن که مبدأ گذر می‌باشد(\mathbf{R} = 0)شامل نقاط شبکه مستقیم در \mathbf{a}_2 و \mathbf{a}_3, و جبهه موج مجاور آن (که فاز آن با 2\pi یا -2\pi نسبت به جبهه موجی که از مبدأ می‌گذرد فرق می‌کند) از \mathbf{a}_1 عبور می‌کند. بردار موج زاویه ای آن شکل \mathbf{b}_1 = 2\pi \mathbf{e}_1 / \lambda_{1}, می‌گیرد که \mathbf{e}_1 بردار واحد عمود بر این دو جبهه موج مجاور است و طول موج \lambda_1 است باید در معادله\lambda_1 = \mathbf{a}_1 \cdot \mathbf{e}_1 صدق کند، یعنی که \lambda_1 برابر با فاصله بین دو جبهه موج است. از این رو توسط تولید شدنش \mathbf{a}_1 \cdot \mathbf{b}_1 = 2\pi و \mathbf{a}_2 \cdot \mathbf{b}_1 = \mathbf{a}_3 \cdot \mathbf{b}_1 = 0. خواهد شد.

با چرخش در میان اندیس‌ها به نوبت، همان راه قبلی، سه بردار موج را تولید خواهد کرد \mathbf{b}_j با \mathbf{a}_i \cdot \mathbf{b}_j = 2\pi \, \delta_{ij}، جایی که دلتای کرونکر \delta_{ij} برابر یک می‌باشد زمانی که i=j است، در غیر این صورت صفر است. \mathbf{b}_j شامل مجموعه ای از سه بردار موج اولیه یا سه بردار انتقال اولیه برای شبکه وارون است که هر کدام راس‌هایشان به شکل \mathbf{G} = m_{1}\mathbf{b}_{1} {+} m_{2}\mathbf{b}_{2} {+} m_{3}\mathbf{b}_{3}, می‌شود، که m_j اعداد صحیح هستند شبکه وارون نیز یک شبکه براوه است زیرا از ترکیبات صحیح بردارهای اولیه تشکیل می‌شود که در این حالت\mathbf{b}_1 ، \mathbf{b}_2 ، و \mathbf{b}_3 می‌باشند. سپس یک محاسبات ساده نشان می‌دهد که برای هر موج صفحه‌ای با بردار موج \mathbf{G} در شبکه وارون، تغییر کل فاز \mathbf{G} \cdot \mathbf{R} بین مبدأ و هر نقطه \mathbf{R} روی شبکه مستقیم ضریبی از 2\pi است (که ممکت است صفر شود اگر ضریب صفر باشد)، بنابراین فاز صفحه موج با \mathbf{G} لزوماً برای هر رأس شبکه مستقیم برابر است، مطابق با تعریف شبکه وارون بالا. (اگرچه هر بردار موجی \mathbf{G} در شبکه وارون همیشه این شکل را به خود می‌گیرد، این مشتقات انگیزشی است، نه دقیق، زیرا اثبات این که ممکن است اتفاقات دیگری بیفتد را حذف کرده‌است)

منطقه بریلوین یک سلول ابتدایی (به‌طور خاص یک سلول ویگنر-سایتز) از شبکه وارون است که به دلیل قضیه بلوخ نقش اساسی در فیزیک حالت جامد دارد. در ریاضیات محض، فضای دوگانه اشکال خطی و شبکه دوگانه، تعمیم انتزاعی تری از فضای وارون و شبکه وارون فراهم می‌کند.

## توضیحات ریاضی
بندانگشتی| نشان دادن رابطه بین شبکه واقعی و متقابل. یک شبکه دو بعدی فضایی واقعی (نقاط قرمز) با بردارهای اولیه <math>a_1</math> و <math>a_2</math> به ترتیب با فلش‌های آبی و سبز نشان داده می‌شوند. در بالای آن، امواج سطحی شکل<nowiki/>https://wikimedia.org/api/rest_v1/media/math/render/svg/47c02876a4c1fa7556a29ea241b2262e90a732c5 ترسیم می‌شوند. از این می‌بینیم که وقتی <math>G</math> هر ترکیب عدد صحیحی از مبنای بردار شبکه متقابل است <math>b_1</math> و <math>b_2</math> (یعنی هر بردار شبکه متقابل)، امواج صفحه حاصله دارای تناوب یکسانی با شبکه هستند - یعنی هر ترجمه از نقطه <math>r</math> (نارنجی نشان داده شده‌است) تا یک نقطه <math>R+r</math> (<math>R</math> قرمز نشان داده شده‌است)، مقدار موج صفحه یکسان است. این امواج صفحه را می‌توان با هم جمع کرد و رابطه فوق همچنان اعمال می‌شود.
با فرض یک شبکه براوه سه بعدی و نامیدن هر بردار شبکه (بردار نشان دهنده یک نقطه شبکه) توسط زیرنویس n = (n_1, n_2, n_3) به عنوان یک مجموعه ۳ تایی اعداد صحیح،

: \mathbf{R}_n = n_1 \mathbf{a}_1 + n_2 \mathbf{a}_2 + n_3 \mathbf{a}_3

\mathbb{Z} مجموعه اعداد صحیح و \mathbf{a}_i یک بردار انتقال ابتدایی یا به اختصار بردار اولیه است. فرض کنید f(\mathbf{r}) تابعی است که در آن \mathbf{r} بردار موقعیت از مبدأ \mathbf{R}_n = 0 نسبت به هر موقعیتی است، اگر f(\mathbf{r}) از تناوب این شبکه پیروی می‌کند، مثلاً تابعی که چگالی الکتریکی در یک کریستال اتمی را توصیف می‌کند، بهتر است که f(\mathbf{r}) را به مانند یک سری فوریه چند بعدی نوشت:

: \sum_m {f_m e^{i \mathbf{G}_m \cdot \mathbf{r}}} = f\left(\mathbf{r}\right) 

جایی که اکنون زیرنویس m = (m_1, m_2, m_3) ، بنابراین این یک مجموع سه تایی است.

درحالی که f(\mathbf{r}) از تناوب شبکه پیروی می‌کند، انتقال \mathbf{r} توسط هر بردار شبکه \mathbf{R}_nای، همان مقدار قبلی را بدست خواهیم آورد، بنابراین

: f(\mathbf{r} + \mathbf{R}_n) = f(\mathbf{r}).

با توصیف کردن تابع فوق بر حسب توابع فوریه خواهیم داشت\sum_m {f_m e^{i \mathbf{G}_m \cdot \mathbf{r}}} =
  \sum_m {f_m e^{i \mathbf{G}_m \cdot (\mathbf{r} + \mathbf{R}_n)}} =
  \sum_m {f_m e^{i \mathbf{G}_m \cdot \mathbf{R}_n} \, e^{i \mathbf{G}_m \cdot \mathbf{r}}} .
به دلیل این که برابری دو سری فوریه به معنای برابری ضریب‌های آنهاست،  e^{i \mathbf{G}_m \cdot \mathbf{R}_n} = 1 ، که فقط وقتی صدق می‌کند که
: \mathbf{G}_m \cdot \mathbf{R}_n = 2\pi N که در آن N \in \mathbb{Z}..
از نظر ریاضی، شبکه وارون، مجموعه همه بردارهای \mathbf{G}_m است، که بردارهای موجی از موج‌های صفحه‌ای در سری فوریه یک تابع فضایی هستند که تناوب آن مانند تناوب یک شبکه مستقیم به عنوان مجموعه همه بردارهای موقعیت نقطه شبکه مستقیم یکسان است. \mathbf{R}_n، و \mathbf{G}_m این برابری را برای همه برآورده کنید \mathbf{R}_n. هر موج صفحه‌ای در سری فوریه فاز یکسانی دارد (در واقع اگر ضریب 2\pi آن‌ها متفاوت باشند، فرق خواهند کرد) در تمام نقاط شبکه \mathbf{R}_n .

همان‌طور که در بخش سری فوریه چند بعدی نشان داده شده‌است، \mathbf{G}_m را می‌توان به فرم \mathbf{G}_m = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2 + m_3 \mathbf{b}_3 انتخاب کرد که در آن \mathbf{a}_i \cdot \mathbf{b}_j = 2\pi \, \delta_{ij}. با این فرم، شبکه وارون به عنوان مجموعه تمام بردارهای موج \mathbf{G}_m برای سری فوریه یک تابع فضایی که تناوب آن به دنبال دارد \mathbf{R}_n ، خود یک شبکه براوه است زیرا از ترکیب اعداد صحیح بردارهای انتقال اولیه خود تشکیل می‌شود. \left(\mathbf{b_{1}}, \mathbf{b}_2, \mathbf{b}_3\right) و وارون شبکه وارون، شبکه اصلی است که دوگانگی پنتریجین فضاهای برداری مربوط به آن را نشان می‌دهد. (ممکن است فرم دیگری از \mathbf{G}_m وجود داشته باشد. هر فرم معتبر دیگری از\mathbf{G}_m همان نتیجه قبلی شبکه وارون می‌شود)

### دو بعدی
برای یک شبکه دو بعدی بی‌نهایت، که توسط بردارهای اولیه آن تعریف می‌شود \left(\mathbf{a}_1, \mathbf{a}_2\right) ، شبکه وارون آن را می‌توان با تولید دو بردار اولیه وارون آن از طریق فرمول‌های زیر تعیین کرد:

: \mathbf{G}_m = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2

که m_i یک عدد صحیح است و

: \begin{align}
  \mathbf{b}_1 &= 2\pi \frac{-\mathbf{Q} \, \mathbf{a}_2}{-\mathbf{a}_1 \cdot \mathbf{Q} \, \mathbf{a}_2}
= 2\pi \frac{ \mathbf{Q} \, \mathbf{a}_2}{ \mathbf{a}_1 \cdot \mathbf{Q} \, \mathbf{a}_2} \\
  \mathbf{b}_2 &= 2\pi \frac{ \mathbf{Q} \, \mathbf{a}_1}{ \mathbf{a}_2 \cdot \mathbf{Q} \, \mathbf{a}_1}
\end{align}

اینجا \mathbf{Q} نشان دهنده یک ماتریس چرخش ۹۰ درجه است، به عنوان مثال یک *چهارم* چرخش. چرخش پادساعتگرد و چرخش ساعتگرد هر دو می‌توانند برای تعیین شبکه وارون استفاده شوند: اگر \mathbf{Q} چرخش پادساعتگرد باشد و \mathbf{Q'} چرخش ساعتگرد باشد، \mathbf{Q}\,\mathbf{v}=-\mathbf{Q'}\,\mathbf{v} برای همه بردارها \mathbf{v} است؛ بنابراین، با استفاده از جایگشت

: \sigma = \begin{pmatrix}
  1 & 2 \\
  2 & 1
\end{pmatrix}

بدست می‌آید:

: \begin{align}
  \mathbf{b}_n = 2\pi \frac{ \mathbf{Q} \, \mathbf{a}_{\sigma(n)}}{ \mathbf{a}_n \cdot \mathbf{Q} \, \mathbf{a}_{\sigma(n)}}=2\pi \frac{ \mathbf{Q}' \, \mathbf{a}_{\sigma(n)}}{ \mathbf{a}_n \cdot \mathbf{Q}' \, \mathbf{a}_{\sigma(n)}}.
\end{align}

قابل توجه است که در یک فضای سه بعدی، این شبکه دوبعدی وارون مجموعه ای بی‌نهایت گسترده از میله &#x2014; براگ است که توسط سونگ و همکارانش توضیح داده شده‌است.

### سه بعدی
برای یک شبکه سه بعدی بی‌نهایت \mathbf{R}_n = n_1 \mathbf{a}_1 + n_2 \mathbf{a}_2 + n_3 \mathbf{a}_3 ، که توسط بردارهای اولیه آن \left(\mathbf{a_{1}}, \mathbf{a}_2, \mathbf{a}_3\right) تعریف می‌شود و پانویس اعداد صحیح n = \left( n_1, n_2, n_3 \right) ، شبکه وارون آن \mathbf{G}_m = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2 + m_3 \mathbf{b}_3 با زیرنویس عدد صحیحm = (m_1, m_2, m_3) را می‌توان با تولید سه بردار اولیه وارون آن \left(\mathbf{b_{1}}, \mathbf{b}_2, \mathbf{b}_3\right) تعیین کرد  \begin{align}
  \mathbf{b}_1 &= \frac{2\pi}{V} \ \mathbf{a}_2 \times \mathbf{a}_3 \\
  \mathbf{b}_2 &= \frac{2\pi}{V} \ \mathbf{a}_3 \times \mathbf{a}_1 \\
  \mathbf{b}_3 &= \frac{2\pi}{V} \ \mathbf{a}_1 \times \mathbf{a}_2
\end{align}کهV = \mathbf{a}_1 \cdot \left(\mathbf{a}_2 \times \mathbf{a}_3\right) = \mathbf{a}_2 \cdot \left(\mathbf{a}_3 \times \mathbf{a}_1\right) = \mathbf{a}_3 \cdot \left(\mathbf{a}_1 \times \mathbf{a}_2\right)محصول سه‌گانه اسکالر است . انتخاب \left(\mathbf{b_{1}}, \mathbf{b}_2, \mathbf{b}_3\right) برای این است که\mathbf{a}_i \cdot \mathbf{b}_j = 2\pi \, \delta_{ij} را به عنوان شرط معرفی کنیم (ممکن است شرایط دیگری وجود داشته باشد) بردارهای انتقال اولیه برای شبکه وارون که در رویکرد ابتکاری بالا و بخش سری فوریه چند بعدی به دست آمده‌است. این انتخاب همچنین نیاز شبکه وارون  e^{i \mathbf{G}_m \cdot \mathbf{R}_n} = 1 را برآورده می‌کند به صورت ریاضی در بالا بدست آمد. با استفاده از نمایش بردار ستونی بردارهای اولیه (مقابله)، فرمول‌های بالا را می‌توان با استفاده از وارونگی ماتریس بازنویسی کرد:

: \left[\mathbf{b}_1\mathbf{b}_2\mathbf{b}_3\right]^\mathsf{T} = 2\pi\left[\mathbf{a}_1\mathbf{a}_2\mathbf{a}_3\right]^{-1}.

این روش به تعریف متوسل می‌شود و امکان تعمیم به ابعاد دلخواه را می‌دهد. ضرب خارجی در کریستالوگرافی غالب است.

تعریف فوق را تعریف «فیزیک» می‌نامند، به عنوان عامل2 \pi به‌طور طبیعی از مطالعه ساختارهای دوره ای ناشی می‌شود. یک تعریف اساساً معادل، تعریف «بلورنگار»، از تعریف شبکه متقابل ناشی می‌شود. \mathbf{K}_m = \mathbf{G}_m / 2\pi . که بردارهای اولیه متقابل را تغییر می‌دهد

: 
  \mathbf{b}_1 = \frac{\mathbf{a}_2 \times \mathbf{a}_3}{\mathbf{a}_1 \cdot \left(\mathbf{a}_2 \times \mathbf{a}_3\right)}


و به همین ترتیب برای سایر بردارهای اولیه. تعریف کریستالوگراف این مزیت را دارد که تعریف \mathbf{b}_1 فقط مقدار وارون \mathbf{a}_1 در جهت \mathbf{a}_2 \times \mathbf{a}_3، بدون عامل 2 \pi می‌باشد. این می‌تواند برخی روابط ریاضی خاصی را ساده کند و ابعاد شبکه وارون را در واحدهای فرکانس فضایی بیان می‌کند. اینکه کدام تعریف از شبکه استفاده شود، به شرطی که این دو با هم قاطی نشوند، بستگی به سلیقه دارد. دلبخواه است.

m = (m_1, m_2, m_3) به‌طور متعارف به عنوان (h, k, l) یا (hkl) نوشته می‌شود که به آن اندیس میلر گفته می‌شود؛ m_1 با h جایگزین می‌شود ، m_2 جایگزین شده با k ، و  m_3 جایگزین شده با l . هر نقطه شبکه در شبکه وارون مربوط به مجموعه ای از صفحات شبکه است (hkl) در شبکه فضایی واقعی (صفحه شبکه صفحه ای است که از نقاط شبکه عبور می‌کند) جهت بردار شبکه وارون مطابق با صفحات فضایی عمود به فضای واقعی است. مقدار بردار شبکه وارون \mathbf{K}_m در طول وارون داده می‌شود و برابر است با فاصله وارون بین صفحات فضایی واقعی.

### ان بعدی
فرمول برای n بعدی را می‌توان این گونه بدست آورد که فرض شود یک بردار فضایی واقعی ان بعدی V با یک پایه(\mathbf{a}_1,\ldots,\mathbf{a}_n) و یک محصول درونی g\colon V\times V\to\mathbf{R} . بردارهای شبکه وارون به‌طور منحصر به فرد توسط فرمول تعیین g(\mathbf{a}_i,\mathbf{b}_j)=2\pi\delta_{ij} می‌شوند. با استفاده از جایگشت

: \sigma = \begin{pmatrix}
  1 & 2 & \cdots &n\\
  2 & 3 & \cdots &1
\end{pmatrix},

آنها را می‌توان با فرمول زیر تعیین کرد:

: 
     \mathbf{b}_i = 2\pi\frac{\epsilon_{\sigma^1i\ldots\sigma^ni}}{\omega(\mathbf{a}_1,\ldots,\mathbf{a}_n)}g^{-1}(\mathbf{a}_{\sigma^{n-1}i}\,\lrcorner\ldots\mathbf{a}_{\sigma^1i}\,\lrcorner\,\omega)\in V


اینجا، \omega\colon V^n \to \mathbf{R} فرم حجمی است ، g^{-1} معکوس ایزومورفیسم فضای برداری است \hat{g}\colon V \to V^* تعریف شده بوسیلهٔ \hat{g}(v)(w) = g(v,w) و \lrcorner نشان دهنده ضرب درونی است.

ثابت می‌شد که این فرمول برابر با فرمول‌های شناخته شده در فضای دو یا سه بعدی با استفاده از حقایق زیر می‌باشد: در سه بعدی، \omega(u,v,w) = g(u \times v, w) و در دو بعد \omega(u,v,w) = g(u \times v, w) ، جایی که R \in \text{SO}(2) \subset L(V,V) چرخش ۹۰ درجه است (درست مانند فرم حجم، زاویه اختصاص داده شده به یک چرخش به انتخاب جهت بستگی دارد).

## شبکه‌های وارون از کریستال‌های مختلف
شبکه‌های وارون برای سیستم کریستالی مکعبی به شرح زیر است.

### شبکه مکعبی ساده
شبکه ساده مکعبی براوه، با سلول اولیه مکعبی با ضلع a، برای وارونش دارای یک شبکه مکعبی ساده با یک سلول ابتدایی مکعبی است که ضلع آن \frac{2\pi}{a} (یا  \frac{1}{a} در تعریف کریستالوگراف) است؛ بنابراین گفته می‌شود که شبکه مکعبی خود دوگان است و همان تقارنی که در فضای وارون دارد را در فضای واقعی دارد.

### شبکه مکعبی وجهی محور (اف سی سی).
شبکه متقابل به یک شبکه اف سی سی، شبکه مکعبی (بی سی سی) بدنه محور است، با یک طرف مکعبی از  \frac{4\pi}{a} .

یک سلول واحد ترکیبی اف سی سی را در نظر بگیرید. یک سلول واحد ابتدایی اف سی سی را پیدا کنید. به عنوان مثال، یک سلول واحد با یک نقطه شبکه. اکنون یکی از رئوس سلول واحد اولیه را به عنوان مبدأ در نظر بگیرید. بردارهای پایه شبکه واقعی را ارائه دهید. سپس از فرمول‌های شناخته شده، می‌توانید بردارهای پایه شبکه متقابل را محاسبه کنید. این بردارهای شبکه متقابل اف سی سی نشان دهنده بردارهای پایه یک شبکه واقعی بی سی سی هستند. توجه داشته باشید که بردارهای پایه یک شبکه بی سی سی واقعی و شبکه متقابل یک اف سی سی از نظر جهت به یکدیگر شباهت دارند اما نه از نظر بزرگی.

### شبکه مکعبی بدنه محور (بی سی سی).
شبکه متقابل به شبکه بی سی سی، شبکه اف سی سی است، با ضلع مکعبی  \frac{4\pi}{a} . می‌تواند ثابت شود که فقط شبکه‌های براوه که ۹۰ درجه بین \left(\mathbf{a}_1, \mathbf{a}_2, \mathbf{a}_3\right) (مکعب، چهار ضلعی، متعامد) وجود دارد دارای بردارهای انتقال اولیه برای شبکه وارون، \left(\mathbf{b}_1, \mathbf{b}_2, \mathbf{b}_3\right) موازی با بردارهای فضای واقعی آنها هستند.

### شبکه شش ضلعی ساده
وارون یک شبکه براوه شش ضلعی ساده با ثابت‌های شبکه  a و  c یک شبکه شش ضلعی ساده دیگر با ثابت‌های شبکه  \frac{2\pi}{c} و  \frac{4\pi}{a\sqrt{3}} است که ۹۰ درجه حول محور c نسبت به شبکه مستقیم چرخیده‌است؛ بنابراین می‌گوییم که شبکه شش ضلعی ساده دارای دوگان خودش است یا به عبارتی دیگر خود دوگان است و همان تقارنی را که در فضای واقعی دارد، در فضای وارون نیز دارد. بردارهای انتقال اولیه برای این بردارهای شبکه براویس شش ضلعی ساده هستند a_1 = (3^{1/2}a/2)\hat{x} + (a/2)\hat{y} ، a_2 = - (3^{1/2}a/2)\hat{x} + (a/2)\hat{y} ، و a_3 = c \hat{z}.

## مجموعه خودسرانه اتم‌ها
چپ|قاب| سایه شبکه متقابل کربن-پنتاکون با وجه ۱۱۸ اتمی که هنگام تقاطع کره اوالد به رنگ قرمز در پراش روشن می‌شود.
یکی از مسیرهای شبکه وارون مجموعه ای دلخواه از اتم‌ها، از ایده امواج پراکنده در حد فراونهوفر (مسافت طولانی یا فصل فوکوس پشتی لنز) به عنوان مجموع دامنه‌های سبک هویگنس از همه نقاط پراکندگی (در این مورد از هر اتم منفرد). این مجموع با دامنه مختلط نشان داده می‌شود F در معادله زیر، زیرا تبدیل فوریه (به عنوان تابعی از فرکانس مکانی یا فاصله وارون) یک پتانسیل پراکندگی مؤثر در فضای مستقیم نیز می‌باشد:

: F[\vec{g}] = \sum_{j=1}^N f_j\!\left[\vec{g}\right] e^{2 \pi i \vec{g} \cdot \vec{r}_j}.

در اینجا **g** = **q** /(2π) بردار پراکندگی **q** در واحدهای کریستالوگراف است، *N* تعداد اتم‌ها، **fj [g** *]* ضریب پراکندگی اتمی برای اتم *j* و بردار پراکندگی **g** است، در حالی که **r** *j* بردار موقعیت اتم *جی است*. توجه داشته باشید که فاز فوریه به انتخاب فرد برای مبدأ مختصات بستگی دارد.

برای حالت خاص یک کریستال تناوبی نامتناهی، دامنه پراکنده F = MF hkl از سلول‌های واحد M (مانند موارد بالا) فقط برای مقادیر صحیح غیر صفر است. (hkl) ، که در آن

: F_{hkl} = \sum_{j=1}^m f_j\left[g_{hkl}\right] e^{2\pi i \left(h u_j + k v_j + l w_j\right)}

وقتی j=۱، اتم‌های m در داخل سلول واحد وجود دارد که شاخصهای شبکه کسری آنها به ترتیب {u j, v j, w j } هستند. برای در نظر گرفتن اثرات ناشی از اندازه کریستال محدود، البته باید از یک پیچش شکل برای هر نقطه یا معادله بالا برای یک شبکه محدود استفاده شود.

چه آرایه اتم‌ها متناهی باشد یا نامتناهی، می‌توان یک «شبکه وارون شدت» [g] را نیز تصور کرد که از طریق رابطه معمولی I = F * F به شبکه دامنه F مربوط می‌شود که در آن F * مزدوج مختلط F است. از آنجایی که تبدیل فوریه برگشت‌پذیر است، البته، این عمل تبدیل به شدت، اطلاعات «همه به جز لحظه دوم» (یعنی فاز) را به بیرون پرتاب می‌کند؛ بنابراین در مورد مجموعه دلخواه اتم‌ها، شدت شبکه متقابل به صورت زیر است:

: I[\vec{g}] = \sum_{j=1}^N \sum_{k=1}^N f_j \left[\vec{g}\right] f_k \left[\vec{g}\right] e^{2\pi i \vec{g} \cdot \vec{r}_{\!\!\;jk}}.

در اینجا **r** *jk* جدایی برداری بین اتم *j* و اتم *k* است. همچنین می‌توان از این برای پیش‌بینی تأثیر شکل نانوکریستالیت، و تغییرات ظریف در جهت‌گیری پرتو، بر پیک‌های پراش شناسایی‌شده استفاده کرد، حتی اگر در برخی جهات خوشه فقط یک اتم ضخامت داشته باشد. در سمت پایین، محاسبات پراکندگی با استفاده از شبکه متقابل اساساً یک موج صفحه فرود را در نظر می‌گیرند؛ بنابراین پس از اولین نگاه به اثرات شبکه متقابل (پراکندگی سینماتیک)، اثرات گسترش پرتو و پراکندگی چندگانه (یعنی دینامیکی) نیز ممکن است مهم باشد.

## تعمیم یک شبکه دوگانه
در واقع دو نسخه در ریاضیات از مفهوم شبکه دوگانه انتزاعی، برای یک شبکه معین *L* در فضای برداری واقعی *V*، با بعد متناهی وجود دارد.

اولی که مستقیماً ساختار شبکه متقابل را تعمیم می‌دهد، از تحلیل فوریه استفاده می‌کند. ممکن است به سادگی از نظر دوگانگی پنتریجین بیان شود. گروه دوگانه *V* ^ تا *V* دوباره یک فضای برداری واقعی است و زیر گروه بسته آن *L* ^ dual to *L* یک شبکه در *V* ^ است؛ بنابراین، *L* ^ کاندیدای طبیعی برای *شبکه دوگانه*، در فضای برداری متفاوت (با همان بعد) است.

جنبه دیگر در حضور یک فرم درجه دوم *Q* در *V* دیده می‌شود. اگر غیر منحط باشد، امکان شناسایی فضای دوگانه *V* * از *V* با *V* را فراهم می‌کند. رابطه *V* * به *V* ذاتی نیست. بستگی به انتخاب اندازه هار (عنصر حجمی) روی *V* دارد. اما با توجه به شناسایی این دو، که در هر صورت تا حد اسکالر به خوبی تعریف شده‌است، وجود *Q* به شخص اجازه می‌دهد تا با شبکه دوگانه به *L* صحبت کند در حالی که در *V* باقی می‌ماند.

در ریاضیات، شبکه دوگان یک شبکه معین *L* در یک گروه توپولوژیکی فشرده محلی آبلیانی *G*، زیرگروه *L* * از گروه دوگان *G* است که شامل همه کاراکترهای پیوسته که در هر نقطه از *L* برابر با یک هستند، است.

در ریاضیات گسسته، شبکه مجموعه‌ای از نقاط گسسته‌است که توسط تمام ترکیبات خطی انتگرالی از بردارهای مستقل خطی *n بعدی* در **Rn** توصیف می‌شود *.* شبکه دوگان سپس با تمام نقاط در گستره خطی شبکه اصلی (معمولاً همه **Rn**) با این ویژگی که یک *عدد* صحیح از حاصلضرب داخلی با همه عناصر شبکه اصلی ایجاد می‌شود، تعریف می‌شود. نتیجه می‌شود که دوگان شبکه دوگان همان شبکه اصلی است.

به علاوه، اگر اجازه دهیم ماتریس *B* دارای ستون‌هایی با نام بردارهای مستقل خطی باشد که شبکه را توصیف می‌کند، ماتریس

A = B\left(B^\mathsf{T} B\right)^{-1}دارای ستون‌هایی از بردارها است که شبکه دوگانه را توصیف می‌کند.

## جستارهای وابسته
* منطقه بریلوین
* کریستالوگرافی
* مبنای دوگانه
* کره ایوالد
* خط کیکوچی
* شاخص میلر
* پراش پودر
* محور منطقه

## منابع

## پیوند به بیرون
* http://newton.umsl.edu/run//nano/known.html - شبیه‌ساز پراش الکترونی مبتنی بر Jmol به شما امکان می‌دهد تقاطع بین شبکه متقابل و کره اوالد را در حین شیب بررسی کنید.
* بسته آموزشی و یادگیری DoITPoMS در مورد فضای متقابل و شبکه متقابل
* همان‌طور که در فصل‌های ۴ و ۵ نشان داده شده‌است، به راحتی کریستالوگرافی را بیاموزید و چگونه شبکه متقابل پدیده پراش را توضیح می‌دهد.

رده:آنالیز فوریه
رده:بلورنگاری
رده:پراش نور
رده:صفحه‌های با ترجمه بازبینی‌نشده
رده:فنون سینکروترونی
رده:فنون نوترونی
رده:فیزیک ماده چگال