• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    定向空間的下冪結(jié)構(gòu)

    2020-04-01 03:08:16謝曉林
    關(guān)鍵詞:半格偏序子集

    謝曉林, 寇 輝

    (四川大學(xué)數(shù)學(xué)學(xué)院, 成都, 610064)

    1 引 言

    冪domain理論是domain理論的重要組成部分, 其目的是為函數(shù)式程序語言的非確定性指稱語義提供數(shù)學(xué)模型. domain理論中有三種經(jīng)典的冪結(jié)構(gòu), 分別是下冪domain (又稱Hoaer冪domain)、上冪domain (又稱Smyth冪domain)和凸冪domain (又稱Plotikin冪domain)[1-6], 且上述每種冪結(jié)構(gòu)都有標(biāo)準(zhǔn)的拓?fù)浔硎?

    近年來, 文獻(xiàn)[7-10]等對這些冪結(jié)構(gòu)做了大量推廣. 總的來說,這些冪結(jié)構(gòu)都是domain關(guān)于某種二元運(yùn)算生成的自由代數(shù).2015年, Batenfeld和Sch?der[11]在一般的拓?fù)淇臻g上引入冪空間結(jié)構(gòu), 通過布爾代數(shù)2賦予Sierpinski拓?fù)渥鳛榭捎^察結(jié)構(gòu), 定義了上冪空間和下冪空間結(jié)構(gòu), 并稱之為觀察誘導(dǎo)的上(下) 冪空間 (observationally-induced lower and upper powerspace). 該工作為普通拓?fù)淇臻g范疇?wèi)?yīng)用于表示函數(shù)式程序的非確定性指稱語義提供了可能, 但是通過布爾代數(shù)2誘導(dǎo)的冪結(jié)構(gòu)方法復(fù)雜,不易理解.

    本文考慮一類特殊的拓?fù)淇臻g——定向空間(等價(jià)于文獻(xiàn)[12]中的monotone determined space). 文獻(xiàn)[10]證明, 定向空間包含domain理論的基本對象——所有賦予Scott拓?fù)涞亩ㄏ蛲陚淦蚣? 且與連續(xù)函數(shù)一起構(gòu)成Cartesian閉范疇, 定向空間是domain理論的一個(gè)擴(kuò)展模型. 本文則考慮在定向空間范疇推廣冪domain結(jié)構(gòu), 通過自由代數(shù)的方式定義了定向下冪空間的概念, 證明每個(gè)定向空間的定向下冪空間存在并給出其具體構(gòu)造. 一般情況下, 定向空間的定向下冪空間既不同于賦予Scott 拓?fù)涞亩ㄏ蛲陚淦蚣南聝鏳omain, 也不同于普通拓?fù)淇臻g上觀察誘導(dǎo)的下冪空間.

    2 預(yù)備知識

    下面我們介紹本文需要的概念. 某些關(guān)于 domain理論、拓?fù)鋵W(xué)及范疇論的基礎(chǔ)知識請參見文獻(xiàn)[1, 13-14].

    設(shè)P是一個(gè)非空集合.P上的一個(gè)關(guān)系≤稱為偏序, 如果≤滿足反身性(x≤x),傳遞性(x≤y&y≤z?x≤z)和反對稱性(x≤y&y≤x?x=y). 稱P是一個(gè)偏序集若,P被賦予某種偏序≤. 給定子集A?P, 記 ↓A={x∈P:?a∈A,x≤a}, ↑A={x∈P:?a∈P,a≤x}.A稱為下集(上集) 如果A=↓A(A=↑A). 一個(gè)非空子集D?P稱為定向的如果D的非空有限子集在D中有上界. 特別地, 每個(gè)定向子集都有上確界(記為∨D)的偏序集稱為定向完備偏序集, 簡稱dcpo. 偏序集P的子集U稱為 Scott開集如果它是上集且對任意定向集D?P, 若 ∨D存在且屬于U則U∩D≠?成立.P的所有 Scott 開集形成一個(gè)拓?fù)? 稱為Scott拓?fù)洳⒂洖棣?P). 設(shè)P,E是兩個(gè)偏序集, 函數(shù)f:P→E稱為Scott連續(xù)如果它關(guān)于 Scott 拓?fù)洇?P) 和σ(E)是連續(xù)的.

    本文的所有拓?fù)淇臻g都要求具有T0分離性. 拓?fù)淇臻gX的一個(gè)網(wǎng)是一個(gè)映射ξ:J→X, 這里J是一個(gè)定向集. 因此, 偏序集的每個(gè)定向子集都可看成一個(gè)網(wǎng), 其指標(biāo)集就是它自己. 通常, 我們把一個(gè)網(wǎng)表示為 (xj)j∈J或 (xj). 設(shè)x∈X, 稱(xj)收斂到x, 記為 (xj)→x或x≡limxj, 若 (xj) 終在x的每個(gè)開鄰域, 即, 任給x的開鄰域U, 存在j0∈J使得對任意j∈J,j≥j0?xj∈U,特別地,{y}表示取值為常值y的常值網(wǎng).

    設(shè)X是一個(gè)T0拓?fù)淇臻g,其拓?fù)溆洖镺(X),X上的特殊化序定義如下:

    命題2.1[1,13]對于T0空間X,下列性質(zhì)總成立:

    (i) 對任意開集U?X,U=↑U;

    (ii) 對任意閉集A?X,A=↓A;

    定義2.2[10]設(shè)X是一個(gè)T0空間.

    (i) 一個(gè)子集U?X稱為定向開集如果 ?(D,x)∈D(X),x∈U?D∩U≠?. 記d(X)表示由X的所有定向開集組成的集合.

    (ii) 稱X為一個(gè)定向空間如果X每個(gè)定向開集都是開集, 即,d(X)=O(X).

    (ii) 這里的定向空間等價(jià)于文中的monotone determined space.

    (iii) 每個(gè)偏序集賦予Scott拓?fù)涫且粋€(gè)定向空間. 因此, 定向空間擴(kuò)展Scott拓?fù)涞母拍?

    下面介紹定向連續(xù)函數(shù).

    定義2.3設(shè)X,Y是兩個(gè)T0空間.函數(shù)f:X→Y稱為定向連續(xù)如果它是單調(diào)的并且保持X的所有定向集的極限;等價(jià)地,(D,x)∈D(X)?(f(D),f(x))∈D(Y).

    下面是定向連續(xù)函數(shù)的刻畫.

    命題2.4[10]設(shè)X,Y是兩個(gè)T0空間.函數(shù)f:X→Y是X,Y之間的映射.

    (i)f定向連續(xù)當(dāng)且僅當(dāng)?U∈d(Y),f-1(U)∈d(X).

    (ii) 若X,Y是定向空間,則函數(shù)f連續(xù)當(dāng)且僅當(dāng)它是定向連續(xù)的.

    接下來介紹定向空間的乘積.設(shè)X,Y是兩個(gè)定向空間.令X×Y表示X,Y的笛卡爾乘積,則該乘積上有一個(gè)自然的偏序:?(x1,y1),(x2,y2)∈X×Y,

    我們稱該序?yàn)閄×Y上的點(diǎn)態(tài)序.接下來,我們在X×Y定義一個(gè)拓?fù)淇臻gX?Y如下:

    (i)X?Y的承載集是X×Y;

    (ii)X?Y的拓?fù)溆扇缦路绞缴? 任給≤-定向集D?X×Y及(x,y)∈X×Y,D→(x,y)∈X?Y?π1D→x∈X,π2D→y∈Y;

    (iii) 子集U?X×Y是開的當(dāng)且僅當(dāng)對任意按上述方式定義的定向極限D(zhuǎn)→(x,y), (x,y)∈U?U∩D≠?.

    定理2.5[10]設(shè)X和Y是兩個(gè)定向空間.

    (ii) 設(shè)Z是另一個(gè)定向空間, 則函數(shù)f:X?Y→Z連續(xù)當(dāng)且僅當(dāng)它關(guān)于每個(gè)變量分別連續(xù).

    記Dtop表示由所有定向空間及連續(xù)映射構(gòu)成的范疇. 文獻(xiàn)[10]證明, Dtop包含所有賦予Scott拓?fù)涞钠蚣沂且粋€(gè)cartesian閉范疇; 特別地, 兩個(gè)定向空間X和Y的范疇乘積同構(gòu)于X?Y. 因此, 定向空間是domain 理論的擴(kuò)展模型.

    3 定向空間的下冪空間

    如前所述, 定向空間是domain 理論的擴(kuò)展模型. 就像文獻(xiàn)[11]所做的工作一樣, 在定向空間范疇推廣冪domain結(jié)構(gòu)是很有意義的. 本節(jié)將構(gòu)造定向空間的下冪空間, 該結(jié)構(gòu)是定向空間關(guān)于膨脹運(yùn)算生成的自由代數(shù).

    定義3.1設(shè)X是一個(gè)定向空間.

    (i) 稱X上的一個(gè)二元運(yùn)算⊕:X?X→X為一個(gè)膨脹運(yùn)算如果它是連續(xù)的且滿足以下四個(gè)條件: ?x,y,z∈X,

    a.x⊕x=x,?x∈X;

    b.(x⊕y)⊕z=x⊕(y⊕z),?x,y,z∈X;

    c.x⊕y=y⊕x;

    d.x⊕y≥x,?x,y∈X.

    (ii) 若⊕是X上的膨脹運(yùn)算, 則稱(X,⊕)為一個(gè)定向膨脹半格, 即定向膨脹半格就是那些帶有膨脹運(yùn)算的定向空間.

    由定理2.5,(ii)知, 定向空間X上的膨脹運(yùn)算⊕是連續(xù)的當(dāng)且僅當(dāng)它是單調(diào)的且任給x,y∈X及定向集D?X, 若x≡limD則x⊕y≡lim(D⊕y). 這里,D⊕y={d⊕y:d∈D}.

    例3.2(i) 設(shè)P是一個(gè)偏序集并賦予Scott拓?fù)? 且對任意a,b∈P,a和b在P中的上確界存在(記為a∨b). 則(P,∨)是一個(gè)定向膨脹半格.

    (ii) 令I(lǐng)=[0,1] (單位區(qū)間), 記AI={[a,1]:a∈I}, 則AI是I上的亞力山大拓?fù)? 容易驗(yàn)證, (I,AI)是一個(gè)定向空間, 且賦予該拓?fù)浜?I,max)是一個(gè)定向膨脹半格.

    下面的引理表明一個(gè)定向空間上至多存在一個(gè)膨脹結(jié)構(gòu), 記Disl表示由所有定向膨脹半格和膨脹同態(tài)構(gòu)成的范疇,因此范疇Disl可以看作定向空間范疇Dtop的子范疇.

    接下來給出下冪空間的定義.

    定義3.5設(shè)X是一個(gè)定向空間. 一個(gè)定向空間Z稱為X的下冪空間如果下述兩個(gè)條件成立:

    (i)Z是一個(gè)定向膨脹半格, 即Z上的并運(yùn)算∨存在且連續(xù);

    由上述定義知, 若膨脹半格(Z1,∨)和(Z2,∨)都是定向空間X的下冪空間, 則存在拓?fù)渫叩呐蛎浲瑧B(tài)g:Z1→Z2. 因此,在序同構(gòu)且拓?fù)渫咭饬x下, 定向空間的下冪空間唯一. 特別地, 我們把任意定向空間X的下冪空間記為PL(X).

    下面, 我們將通過具體構(gòu)造的方式證明每個(gè)定向空間X的下冪空間存在.

    設(shè)X是一個(gè)定向空間. 記

    LX={↓F:F?finX},

    這里F?finX的非空有限子集. 在LX上定義序關(guān)系≤L如下:↓F1≤L↓F2?↓F1?↓F2.

    設(shè)D?LX是定向集 (關(guān)于上述序關(guān)系≤L), ↓F∈LX. 定義符號D?L↓F表示下述意義的收斂:D?L↓F??a∈F,?X的定向集Da?∪D滿足Da→a.

    一個(gè)子集U?LX稱為LX的?L收斂開集如果對LX中的任意定向集D及↓F∈LX, 若D?L↓F∈U, 則D∩U≠?. 記O?L(LX)表示由LX的所有?L收斂開集組成的集族.

    命題3.6設(shè)X是一個(gè)定向拓?fù)淇臻g, 則下述各條成立:

    (i) (LX,O?L(LX))是一個(gè)拓?fù)淇臻g,簡記為LX;

    (iii) (LX,O?L(LX))是定向空間,即O?L(LX)=d(LX).

    (iii) 對任意一個(gè)拓?fù)淇臻gX,有O(X)?d(X), 于是O?L(LX)?d(LX). 另一方面, 根據(jù)?L收斂的定義, 若LX的定向集D?L↓F, 則D關(guān)于拓?fù)銸?L(LX)收斂到↓F. 因此, 由定向開集的定義, 若D?L↓F∈U∈d(LX), 則必有U∩D≠?. 這表明,U∈O?L(LX), 從而O?L(LX)=d(LX), 即, (LX,O?L(LX)) 是定向空間.

    命題3.8設(shè)X是一個(gè)定向空間. 則(LX,O?L(LX))關(guān)于集合并運(yùn)算∪是一個(gè)定向膨脹半格.

    證明 由命題3.6, (LX,O?L(LX))是一個(gè)定向空間. 下證∪是一個(gè)膨脹運(yùn)算. 任給↓F1,Z↓F2∈LX, 則↓F1∪↓F2=↓(F1∪F2)∈LX. 顯然∪運(yùn)算滿足定義3.1 中的(a),(b),(c),(d) 四個(gè)要求, 只需證明∪ 是連續(xù)的. ∪ 顯然是單調(diào)的. 由定理2.5及命題3.7, 我們只需證明: 對任意定向集D?LX及↓F,↓G∈LX, 若D?L↓F, 則G∪D?L(↓G∪↓F)=↓(G∪F). 這里G∪D={↓(G∪F′):↓F′∈D}也是一個(gè)定向集. 任給a∈G∪F, 若a∈G, 則{a}→a; 若a∈F, 則由D?L↓F存在D?∪D使得D→a. 所以由?L收斂的定義, 有G∪D?L↓(G∪F).

    引理3.9設(shè)⊕:X×X→X是定向空間X上的一個(gè)二元運(yùn)算. 則算子⊕是連續(xù)的當(dāng)且僅當(dāng)任給兩個(gè)定向集D1,D2?X及x1,x2∈X, 若Di→xi(i=1,2), 則D1⊕D2→x1⊕x2. 這里,D1⊕D2={d1⊕d2:(d1,d1)∈D1×D2}.

    下面的定理是本文的主要結(jié)果.

    證明 定義映射i:X→LX如下:?x∈X,i(x)=↓x. 下證映射i連續(xù).i顯然單調(diào). 設(shè)定向集D?X及x∈X滿足D→x. 令D={↓d:d∈D}, 則D是LX的定向集并且D?L↓↓x. 注意到i(D)=D, 所以i(D)?L↓x=i(x). 由定理2.5, 映射i是連續(xù)的.

    f(D1)∨f(D2)∨…∨f(Dk)→f(b1)∨…

    ∨f(bk).

    (1)

    這里

    f(D1)∨f(D2)…∨f(Dk)=

    {f(d1)∨f(d2)∨…∨f(dk):(d1,d2,…,dk)∈

    f(D1)∨…∨f(Dn)?

    ↓{∨f(F):↓F∈D}

    (**)

    g(↓F)=g(↓a1∪↓a2…∪↓an)=

    g(↓a1)∨g(↓a2)∨…∨g(↓an)=

    由于下冪空間在序同構(gòu)及拓?fù)渫叩囊饬x下是唯一的, 因此我們直接把每個(gè)定向空間X的下冪空間記為PL(X)=(LX,∪).

    設(shè)X,Y是兩個(gè)定向空間,f:X→Y是一個(gè)連續(xù)函數(shù). 定義映射PL(f):PL(X)→PL(Y)如下: ?↓F∈LX,PL(f)(↓F)=↓f(F).容易看出,PL(f)是良定義的且保序. 運(yùn)用上述定理的證明方法, 容易驗(yàn)證PL(f)是兩個(gè)下冪空間之間的膨脹同態(tài)并. 若idX是恒等映射且g:Y→Z是Y到定向空間Z的連續(xù)映射,PL(idX)=idPL(X),PL(g°f)=PL(g)°PL(f). 因此,PL:Dtop→Disl是定向空間范疇Dtop到定向膨脹半格范疇Disl的函子. 令U:Disl→Dtop表示遺忘函子. 則由定理3.10, 我們有下述結(jié)果.

    推論3.11函子PL是遺忘函子U的左伴隨, 即, 定向膨脹半格范疇Disl是定向空間范疇Dtop的反射子范疇.

    4 下冪結(jié)構(gòu)間的關(guān)系

    本節(jié)我們比較dcpo的下冪domain、拓?fù)淇臻g的觀察誘導(dǎo)的下冪空間及定向空間的下冪空間之間的關(guān)系.

    設(shè)X的一個(gè)拓?fù)淇臻g (其拓?fù)溆洖镺(X)). 記C(X)是由X的所有非空閉集組成的集族. 顯然,C(X)關(guān)于集合的有限并∪封閉. 任給U∈O(X), 令〈U〉={A∈C(X):A∩U≠?}.容易驗(yàn)證, {〈U〉:U∈O(X)}關(guān)于有限交和任意并封閉, 構(gòu)成C(X)的一個(gè)拓?fù)? 該拓?fù)浞Q為C(X) 的下Vietoris 拓?fù)洳⒂洖閂L(C(X)). 同時(shí),C(X)關(guān)于集合包含關(guān)系是一個(gè)dcpo.C(X)上的Scott拓?fù)溆洖棣?C(X)). 容易驗(yàn)證, 下Vietoris 拓?fù)銿L(C(X))粗于Scott拓?fù)洇?C(X)), 即,VL(C(X))?σ(C(X)). 特別地, 記POL(X)=(C(X),∪)賦予下Vietoris 拓?fù)銿L(C(X)), 記H(X)=(C(X),∪)賦予Scott 拓?fù)洇?C(X)).

    定理4.1[1]設(shè)P是一個(gè)dcpo并賦予Scott拓?fù)洇?P). 則H(P) 同構(gòu)于P的下冪domain (又稱為Hoare 冪domain), 即H(P)是P的自由dcpo并半格.

    定理4.2[11]設(shè)X是一個(gè)拓?fù)淇臻g. 則PO L(X) 同構(gòu)于X的觀察誘導(dǎo)的下冪空間 (the observationally-induced lower powerspace overX).

    例4.3設(shè)P=(N×N)∪{∞}, 其中N是自然數(shù)集. 定義P上的序關(guān)系如下: ?x,y∈P,x≤y當(dāng)且僅當(dāng)下列條件之一成立:

    ·y=∞;

    ·?n0∈N,x=(m,n0),y=(m′,n0) 且m′-m≥0.

    顯然,P是一個(gè)dcpo. 容易驗(yàn)證, 一個(gè)非空子集A是P的 Scott閉集當(dāng)且僅當(dāng)A=P或者存在P中一個(gè)反鏈B使得A=↓B. 因此,V≠〈V〉 對任意n∈N, 令Dn=N×{n}, 則Dn是一個(gè)定向集且∨(N×{n})=∞. 任給U?P,U是Scott開集當(dāng)且僅當(dāng)U=?或D∩Dn≠?. 所以,P的每個(gè)非空Scott開集等于它的極小元集minU的上集. 設(shè)U?C(P), 則U是關(guān)于下Vietoris 拓?fù)涞拈_集當(dāng)且僅當(dāng)存在U∈σ(P)使得U={B∈C(P):B∩minU≠?}. 令

    V={A∈C(P):?n∈N,Z(5,n)∈A}∪{A∈

    C(P):?n∈N,Z(4,n),(4,n+1)∈A}.

    容易驗(yàn)證,V是C(P)的一個(gè)Scott開集, 且對任意V∈σ(P),V≠〈V〉. 因此V不是下Vietoris 拓?fù)涞拈_集. 這表明,H(P)≠POL(P).

    上述例子說明, 賦予Scott拓?fù)涞亩ㄏ蛲陚淦蚣系南聝鏳omain與觀察誘導(dǎo)的下冪空間一般來說是不相等的. 接下來考慮下冪domain與定向空間的下冪空間的關(guān)系.

    設(shè)P是一個(gè)dcpo并賦予Scott拓?fù)洇?P). 以

    σ(C(P))|LP={U∩LP:U∈σ(C(X))}

    表示C(P) 的Scott拓?fù)溥z傳到LP上的拓?fù)? 對任意V∈O?L(LP), 記

    ↑C(P)V={A∈C(P):?↓F∈V,Z↓F?A}.

    命題4.4設(shè)P是一個(gè)dcpo并賦予Scott拓?fù)洇?P). 則σ(C(X))|LP?O?L(LP). 特別地,σ(C(X))|LP=O?L(LP)當(dāng)且僅當(dāng)?V∈O?L(LP), ↑C(P)V∈σ(C(P)).

    另一方面, 任給非空Scott閉集∈U, 令F(A)={↓F:F?finA}, 則F(A)是LP的定向集且A=∪F(A). 從而存在A的非空有限集F使得↓F∈U. 這表明,U=↑C(P)(U∩LP). 因此,σ(C(X))|LP=O?L(LP)當(dāng)且僅當(dāng)?V∈O?L(LP), ↑C(P)V∈σ(C(P)).

    設(shè)A是dcpoP的任意子集. 令A(yù)1=↓{x∈P:?定向集D?↓A,∨D=x}.

    推論4.6設(shè)P是一個(gè)連續(xù)或擬連續(xù)domain. 則σ(C(X))|LP=O?L(LP), 即P賦予Scott拓?fù)渥鳛槎ㄏ蚩臻g, 其下冪空間PL(X)是下冪domainH(P)的子空間.

    猜你喜歡
    半格偏序子集
    由一道有關(guān)集合的子集個(gè)數(shù)題引發(fā)的思考
    π-群強(qiáng)半格的同余
    拓?fù)淇臻g中緊致子集的性質(zhì)研究
    關(guān)于一致半格的注記
    關(guān)于奇數(shù)階二元子集的分離序列
    基于有限辛空間的一致偏序集和Leonard對
    m-半格矩陣的M-P廣義逆
    課本內(nèi)外
    相對連續(xù)偏序集及其應(yīng)用
    可消偏序半群的可消偏序擴(kuò)張與商序同態(tài)
    中文字幕制服av| 69av精品久久久久久| 我的女老师完整版在线观看| 两个人的视频大全免费| 国产毛片在线视频| 天天一区二区日本电影三级| 国产成年人精品一区二区| 国产精品不卡视频一区二区| 五月天丁香电影| 18禁在线播放成人免费| 偷拍熟女少妇极品色| 观看美女的网站| a级毛片免费高清观看在线播放| 精品国产三级普通话版| 亚洲精品色激情综合| 男女国产视频网站| 在线免费十八禁| 极品教师在线视频| 日日摸夜夜添夜夜添av毛片| 亚洲国产色片| 国产一区二区在线观看日韩| 亚洲欧洲日产国产| 久久久久国产网址| 亚洲国产精品成人综合色| 99re6热这里在线精品视频| 国产中年淑女户外野战色| 中国三级夫妇交换| 成人免费观看视频高清| 欧美3d第一页| 黑人高潮一二区| 欧美最新免费一区二区三区| 晚上一个人看的免费电影| 成人亚洲精品av一区二区| 男女那种视频在线观看| 国产精品一区二区在线观看99| 91午夜精品亚洲一区二区三区| www.色视频.com| 18禁在线播放成人免费| 久久久久性生活片| 99热6这里只有精品| 日韩av不卡免费在线播放| 国语对白做爰xxxⅹ性视频网站| 亚洲av国产av综合av卡| 亚洲,一卡二卡三卡| 女人久久www免费人成看片| 久久精品夜色国产| 一级a做视频免费观看| 蜜臀久久99精品久久宅男| 国产成人一区二区在线| 欧美成人精品欧美一级黄| 国产成人免费无遮挡视频| 国内揄拍国产精品人妻在线| 最近中文字幕高清免费大全6| 免费黄色在线免费观看| 日韩在线高清观看一区二区三区| 免费看a级黄色片| 久久精品综合一区二区三区| 少妇 在线观看| 美女视频免费永久观看网站| 人妻制服诱惑在线中文字幕| 少妇被粗大猛烈的视频| 国产成人a∨麻豆精品| 国产精品久久久久久精品古装| 亚洲人成网站在线观看播放| 蜜臀久久99精品久久宅男| 欧美另类一区| 国产视频内射| 国产午夜精品一二区理论片| 久久久午夜欧美精品| 亚洲内射少妇av| 春色校园在线视频观看| 天堂网av新在线| 最近中文字幕2019免费版| 少妇丰满av| 嫩草影院新地址| 国产亚洲一区二区精品| 亚洲国产日韩一区二区| 国产精品av视频在线免费观看| 精品少妇久久久久久888优播| 国产亚洲一区二区精品| 岛国毛片在线播放| 亚洲av男天堂| 日韩亚洲欧美综合| 久久久精品免费免费高清| 两个人的视频大全免费| 日韩av免费高清视频| 国产精品嫩草影院av在线观看| 国产大屁股一区二区在线视频| 成年版毛片免费区| 精品人妻一区二区三区麻豆| 久久久精品94久久精品| 免费看日本二区| 国产av国产精品国产| av免费观看日本| 亚洲经典国产精华液单| av黄色大香蕉| 午夜激情福利司机影院| 亚洲高清免费不卡视频| 深爱激情五月婷婷| 国产欧美日韩一区二区三区在线 | 大香蕉97超碰在线| 一级毛片aaaaaa免费看小| 少妇高潮的动态图| 人妻 亚洲 视频| 18禁在线无遮挡免费观看视频| 成人亚洲欧美一区二区av| 婷婷色综合www| 国产伦理片在线播放av一区| 亚洲精品中文字幕在线视频 | 国产91av在线免费观看| 老女人水多毛片| 久热这里只有精品99| 国产伦理片在线播放av一区| av在线蜜桃| 欧美少妇被猛烈插入视频| 麻豆乱淫一区二区| 国产精品人妻久久久久久| 日韩,欧美,国产一区二区三区| 亚洲精品成人av观看孕妇| 九九爱精品视频在线观看| 老师上课跳d突然被开到最大视频| 免费黄网站久久成人精品| 午夜视频国产福利| 波多野结衣巨乳人妻| 在线播放无遮挡| 少妇高潮的动态图| 永久免费av网站大全| 亚洲真实伦在线观看| 男女下面进入的视频免费午夜| 亚洲av男天堂| 噜噜噜噜噜久久久久久91| 免费观看性生交大片5| 久久99热这里只有精品18| 亚洲av福利一区| 97精品久久久久久久久久精品| 亚洲性久久影院| 免费播放大片免费观看视频在线观看| 久久久色成人| 亚洲欧美日韩东京热| 亚洲国产av新网站| 少妇熟女欧美另类| 免费av不卡在线播放| 国产爽快片一区二区三区| 成年女人在线观看亚洲视频 | 热re99久久精品国产66热6| 女的被弄到高潮叫床怎么办| 成人一区二区视频在线观看| 久热这里只有精品99| 中文资源天堂在线| 99久久九九国产精品国产免费| 99精国产麻豆久久婷婷| 只有这里有精品99| 色吧在线观看| 我要看日韩黄色一级片| 久久6这里有精品| 亚洲四区av| 91精品国产九色| 联通29元200g的流量卡| 日本熟妇午夜| 精品人妻偷拍中文字幕| 亚洲国产av新网站| 亚洲色图av天堂| 国产 一区 欧美 日韩| 一级毛片aaaaaa免费看小| 欧美日本视频| 人妻少妇偷人精品九色| 欧美97在线视频| 国产精品99久久久久久久久| 97人妻精品一区二区三区麻豆| 天美传媒精品一区二区| 亚洲欧美一区二区三区国产| 国产色婷婷99| 九九在线视频观看精品| 国产午夜福利久久久久久| 黄片无遮挡物在线观看| 亚洲aⅴ乱码一区二区在线播放| 毛片女人毛片| 精品亚洲乱码少妇综合久久| 黄色欧美视频在线观看| 精品国产露脸久久av麻豆| 男女边摸边吃奶| 精品一区二区免费观看| 国产综合精华液| 亚洲欧美一区二区三区国产| 新久久久久国产一级毛片| av福利片在线观看| 精品午夜福利在线看| 久久久久九九精品影院| 久久久久久久亚洲中文字幕| 久久国产乱子免费精品| 国产 精品1| 搞女人的毛片| 九色成人免费人妻av| 干丝袜人妻中文字幕| 一级毛片黄色毛片免费观看视频| 国产综合精华液| 免费黄频网站在线观看国产| 久久国产乱子免费精品| 欧美xxxx性猛交bbbb| 九草在线视频观看| 日韩强制内射视频| 久久久久久久亚洲中文字幕| 日韩精品有码人妻一区| 国产中年淑女户外野战色| 亚洲经典国产精华液单| 欧美日韩视频高清一区二区三区二| 免费黄频网站在线观看国产| 久久久久精品久久久久真实原创| a级毛色黄片| 在线a可以看的网站| 欧美另类一区| 免费黄频网站在线观看国产| 男女下面进入的视频免费午夜| 精品一区二区三区视频在线| 国产高清不卡午夜福利| 国产综合精华液| 国产精品麻豆人妻色哟哟久久| 亚洲自拍偷在线| 99久久精品国产国产毛片| 看黄色毛片网站| 亚洲伊人久久精品综合| 嘟嘟电影网在线观看| 九九在线视频观看精品| 一二三四中文在线观看免费高清| 国产在线男女| 七月丁香在线播放| 欧美 日韩 精品 国产| 国产av码专区亚洲av| 成人漫画全彩无遮挡| 97在线人人人人妻| 成人黄色视频免费在线看| 一级毛片我不卡| 国产精品国产av在线观看| 日韩不卡一区二区三区视频在线| 国产精品久久久久久精品古装| 熟女电影av网| 一个人观看的视频www高清免费观看| 久久久精品免费免费高清| 九九久久精品国产亚洲av麻豆| 亚洲成人久久爱视频| 99久久九九国产精品国产免费| 男女边吃奶边做爰视频| av在线老鸭窝| 少妇人妻 视频| 久久精品夜色国产| 大陆偷拍与自拍| 国产欧美另类精品又又久久亚洲欧美| 亚洲精品影视一区二区三区av| 18禁裸乳无遮挡免费网站照片| 51国产日韩欧美| 99热这里只有是精品50| 日日摸夜夜添夜夜添av毛片| 交换朋友夫妻互换小说| 有码 亚洲区| 热99国产精品久久久久久7| 在线观看人妻少妇| 日本-黄色视频高清免费观看| 一本色道久久久久久精品综合| 日韩免费高清中文字幕av| 伊人久久国产一区二区| av天堂中文字幕网| 九九久久精品国产亚洲av麻豆| 日韩欧美精品免费久久| 亚洲天堂国产精品一区在线| 夜夜看夜夜爽夜夜摸| 2018国产大陆天天弄谢| 午夜亚洲福利在线播放| 中文欧美无线码| 成人国产av品久久久| www.色视频.com| 久久久久久久精品精品| 超碰97精品在线观看| 尾随美女入室| 国产 一区精品| 欧美激情在线99| 欧美日韩亚洲高清精品| 白带黄色成豆腐渣| 亚洲国产精品专区欧美| 国模一区二区三区四区视频| 久久久久久久亚洲中文字幕| 永久免费av网站大全| 亚洲国产欧美在线一区| 九九爱精品视频在线观看| 国产黄频视频在线观看| 51国产日韩欧美| 国产有黄有色有爽视频| 六月丁香七月| 国产黄片美女视频| 校园人妻丝袜中文字幕| 久热这里只有精品99| 高清日韩中文字幕在线| 尤物成人国产欧美一区二区三区| 深夜a级毛片| 国产成人aa在线观看| 日本免费在线观看一区| 最后的刺客免费高清国语| 成人高潮视频无遮挡免费网站| 亚洲国产欧美人成| 日韩视频在线欧美| 各种免费的搞黄视频| 如何舔出高潮| 欧美亚洲 丝袜 人妻 在线| 久久久久网色| 国产男女超爽视频在线观看| 色播亚洲综合网| 亚洲性久久影院| 亚洲国产欧美在线一区| 亚洲欧美中文字幕日韩二区| 伦理电影大哥的女人| 午夜激情久久久久久久| 热re99久久精品国产66热6| 亚洲国产高清在线一区二区三| 国产成人免费无遮挡视频| 人人妻人人爽人人添夜夜欢视频 | 麻豆久久精品国产亚洲av| 大片免费播放器 马上看| 欧美人与善性xxx| 精品一区在线观看国产| 亚洲不卡免费看| 国产精品无大码| 韩国av在线不卡| 国产免费一级a男人的天堂| 最近手机中文字幕大全| 欧美区成人在线视频| 亚洲色图综合在线观看| www.av在线官网国产| 在线观看美女被高潮喷水网站| 80岁老熟妇乱子伦牲交| a级毛片免费高清观看在线播放| 丝袜喷水一区| 亚洲自偷自拍三级| 国产精品麻豆人妻色哟哟久久| 少妇人妻久久综合中文| 又爽又黄a免费视频| 精品国产三级普通话版| av线在线观看网站| 久久久成人免费电影| 午夜精品国产一区二区电影 | 精品人妻熟女av久视频| 日本黄大片高清| 97热精品久久久久久| 看免费成人av毛片| 免费观看性生交大片5| 亚洲,欧美,日韩| 综合色av麻豆| 日韩成人伦理影院| 国产精品女同一区二区软件| 人人妻人人爽人人添夜夜欢视频 | 只有这里有精品99| 久久99热6这里只有精品| 亚洲激情五月婷婷啪啪| 99热全是精品| 蜜臀久久99精品久久宅男| 久久久久国产精品人妻一区二区| 天天躁夜夜躁狠狠久久av| 五月天丁香电影| 欧美xxⅹ黑人| 婷婷色综合www| 99re6热这里在线精品视频| 男女国产视频网站| 91精品一卡2卡3卡4卡| 夫妻午夜视频| 国产在线男女| av在线天堂中文字幕| 亚洲精华国产精华液的使用体验| 18禁在线播放成人免费| 欧美激情国产日韩精品一区| 69人妻影院| 不卡视频在线观看欧美| 欧美zozozo另类| 女人久久www免费人成看片| 亚洲aⅴ乱码一区二区在线播放| 国产欧美亚洲国产| 免费观看性生交大片5| 国产欧美亚洲国产| 男男h啪啪无遮挡| 久久久久久久久久久免费av| 一区二区三区乱码不卡18| 成人亚洲欧美一区二区av| 丰满少妇做爰视频| 国产成人精品久久久久久| 亚洲精品日本国产第一区| 日本黄大片高清| 亚洲国产色片| 日日啪夜夜撸| 国产精品久久久久久久久免| 少妇丰满av| 久热久热在线精品观看| 亚洲怡红院男人天堂| 新久久久久国产一级毛片| 18禁裸乳无遮挡动漫免费视频 | 我要看日韩黄色一级片| 天天一区二区日本电影三级| 亚洲婷婷狠狠爱综合网| 永久网站在线| 最近的中文字幕免费完整| 午夜福利在线在线| 91精品国产九色| 最新中文字幕久久久久| 精品亚洲乱码少妇综合久久| 五月玫瑰六月丁香| 国产精品国产av在线观看| 成人漫画全彩无遮挡| 亚洲在久久综合| 亚洲,一卡二卡三卡| 网址你懂的国产日韩在线| av卡一久久| 精品国产一区二区三区久久久樱花 | 白带黄色成豆腐渣| 欧美xxxx黑人xx丫x性爽| av福利片在线观看| 国产精品嫩草影院av在线观看| 亚洲av欧美aⅴ国产| 在线免费观看不下载黄p国产| 国产精品偷伦视频观看了| 国产v大片淫在线免费观看| 免费播放大片免费观看视频在线观看| 免费黄频网站在线观看国产| 亚洲欧洲日产国产| 在线精品无人区一区二区三 | 欧美成人午夜免费资源| 亚洲精品色激情综合| 黄色欧美视频在线观看| 久久久精品欧美日韩精品| 久久精品国产亚洲av涩爱| 一个人观看的视频www高清免费观看| 色网站视频免费| 大香蕉97超碰在线| freevideosex欧美| 欧美极品一区二区三区四区| 欧美日韩视频精品一区| 麻豆精品久久久久久蜜桃| 少妇人妻一区二区三区视频| 日本三级黄在线观看| 色吧在线观看| 亚洲人成网站在线观看播放| 啦啦啦中文免费视频观看日本| 色综合色国产| 春色校园在线视频观看| 22中文网久久字幕| 亚洲精品中文字幕在线视频 | 99视频精品全部免费 在线| 亚洲最大成人手机在线| 3wmmmm亚洲av在线观看| av在线app专区| 在线观看三级黄色| 日韩成人伦理影院| 嫩草影院入口| 日本黄大片高清| 日本欧美国产在线视频| 国产精品国产三级专区第一集| 天堂俺去俺来也www色官网| 日本与韩国留学比较| 精品99又大又爽又粗少妇毛片| 色吧在线观看| 看黄色毛片网站| 91在线精品国自产拍蜜月| 亚洲成人av在线免费| 久久久色成人| 亚洲欧美精品专区久久| 直男gayav资源| 又粗又硬又长又爽又黄的视频| 97超碰精品成人国产| 国精品久久久久久国模美| 熟女电影av网| 一级黄片播放器| 日本色播在线视频| 丝袜喷水一区| 国产精品精品国产色婷婷| 成年女人在线观看亚洲视频 | 成年版毛片免费区| 色婷婷久久久亚洲欧美| 中文欧美无线码| 久久久久久久久久久丰满| 高清av免费在线| 麻豆成人av视频| videossex国产| 1000部很黄的大片| 国产精品久久久久久精品古装| 国产成人91sexporn| 联通29元200g的流量卡| 久久久久久久精品精品| 免费观看在线日韩| 麻豆乱淫一区二区| 26uuu在线亚洲综合色| 国产精品麻豆人妻色哟哟久久| 一级毛片 在线播放| 一级毛片aaaaaa免费看小| 在线观看美女被高潮喷水网站| 在线a可以看的网站| 黄色视频在线播放观看不卡| 久久国产乱子免费精品| 亚洲av成人精品一区久久| 激情五月婷婷亚洲| 精品酒店卫生间| 好男人在线观看高清免费视频| 亚洲欧美精品专区久久| 观看免费一级毛片| av在线天堂中文字幕| 三级男女做爰猛烈吃奶摸视频| av女优亚洲男人天堂| 街头女战士在线观看网站| av在线app专区| 亚洲精品国产成人久久av| 成年版毛片免费区| 亚洲成人久久爱视频| 看非洲黑人一级黄片| 又黄又爽又刺激的免费视频.| 国产视频首页在线观看| 老司机影院毛片| 97精品久久久久久久久久精品| 又大又黄又爽视频免费| 日韩欧美一区视频在线观看 | 一级二级三级毛片免费看| 人妻制服诱惑在线中文字幕| 久久久久网色| 看非洲黑人一级黄片| 大又大粗又爽又黄少妇毛片口| 日本av手机在线免费观看| 欧美日韩一区二区视频在线观看视频在线 | 国产淫语在线视频| 久久久久久久精品精品| 大话2 男鬼变身卡| 欧美 日韩 精品 国产| 中文精品一卡2卡3卡4更新| 一个人看视频在线观看www免费| 午夜福利视频1000在线观看| 亚洲成人精品中文字幕电影| 99热这里只有是精品50| 亚洲精品久久午夜乱码| 人妻夜夜爽99麻豆av| 欧美 日韩 精品 国产| 中文精品一卡2卡3卡4更新| 伊人久久精品亚洲午夜| 国产淫片久久久久久久久| 亚洲精品成人久久久久久| 大又大粗又爽又黄少妇毛片口| 国产高清有码在线观看视频| 日本黄大片高清| 欧美 日韩 精品 国产| 午夜激情久久久久久久| 少妇高潮的动态图| 亚洲人与动物交配视频| 亚洲国产精品专区欧美| 中国美白少妇内射xxxbb| 亚洲综合精品二区| 2021天堂中文幕一二区在线观| 国产 一区 欧美 日韩| 超碰av人人做人人爽久久| 你懂的网址亚洲精品在线观看| 国产精品国产三级国产专区5o| av免费在线看不卡| 国产伦理片在线播放av一区| 婷婷色综合www| 成人黄色视频免费在线看| 青春草视频在线免费观看| 丝袜美腿在线中文| 午夜福利高清视频| 精品亚洲乱码少妇综合久久| 欧美性感艳星| 身体一侧抽搐| 特大巨黑吊av在线直播| 日本猛色少妇xxxxx猛交久久| 国产白丝娇喘喷水9色精品| 午夜激情福利司机影院| 日韩大片免费观看网站| 久久精品国产亚洲av涩爱| 麻豆成人午夜福利视频| 精品国产乱码久久久久久小说| 国产伦精品一区二区三区四那| 亚洲婷婷狠狠爱综合网| 国产精品偷伦视频观看了| 国产成人精品一,二区| 啦啦啦中文免费视频观看日本| 久久热精品热| 国产日韩欧美亚洲二区| 久久人人爽av亚洲精品天堂 | 国产国拍精品亚洲av在线观看| 国产精品.久久久| 少妇 在线观看| 丰满人妻一区二区三区视频av| 内射极品少妇av片p| 下体分泌物呈黄色| 亚洲国产精品专区欧美| 欧美激情国产日韩精品一区| 国产片特级美女逼逼视频| 日本wwww免费看| 国产毛片在线视频| 男人和女人高潮做爰伦理| 国产一区二区在线观看日韩| 亚洲人成网站在线观看播放| 日韩免费高清中文字幕av| 婷婷色综合大香蕉| a级一级毛片免费在线观看| 精品久久久精品久久久| 日本午夜av视频| 波多野结衣巨乳人妻| 婷婷色综合www| 欧美bdsm另类| 亚洲欧美成人精品一区二区| 国产精品熟女久久久久浪| 欧美bdsm另类| 久久亚洲国产成人精品v| 中文乱码字字幕精品一区二区三区| 少妇丰满av| 熟女av电影| 亚洲精品日本国产第一区| 久久久成人免费电影| 国产探花极品一区二区| 亚洲欧美一区二区三区国产| 一本色道久久久久久精品综合| 国产精品一区二区三区四区免费观看| 最近2019中文字幕mv第一页| 一本色道久久久久久精品综合| 色综合色国产|