徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

线性代数和群

快捷方式: 差异相似杰卡德相似系数参考

线性代数和群之间的区别

线性代数 vs. 群

线性代数是关于向量空间和线性映射的一个数学分支。它包括对线、面和子空间的研究,同时也涉及到所有的向量空间的一般性质。 坐标满足线性方程的点集形成n维空间中的一个超平面。n个超平面相交于一点的条件是线性代数研究的一个重要焦点。此项研究源于包含多个未知数的线性方程组。这样的方程组可以很自然地表示为矩阵和向量的形式。 线性代数既是纯数学也是应用数学的核心。例如,放宽向量空间的公理就产生抽象代数,也就出现若干推广。泛函分析研究无穷维情形的向量空间理论。线性代数与微积分结合,使得微分方程线性系统的求解更加便利。线性代数的理论已被泛化为。 线性代数的方法还用在解析几何、工程、物理、自然科学、計算機科學、计算机动画和社会科学(尤其是经济学)中。由于线性代数是一套完善的理论,非线性数学模型通常可以被近似为线性模型。. 在數學中,群是由一個集合以及一個二元運算所組成的,符合下述四个性质(称为“群公理”)的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理,例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來,就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體,而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的,这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征:它是保持物體不變的變換的集合。這種對稱群,特別是連續李群,在很多學術學科中扮演重要角色。例如,矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究,由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后,群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科,它以自己的方式研究群。為了探索群,數學家發明了各種概念來把群分解成更小的、更好理解的部分,比如子群、商群和單群。除了它們的抽象性質,群理論家還從理論和計算兩種角度來研究具體表示群的各種方式(群的表示)。對有限群已經發展出了特別豐富的理論,這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来,将有限生成群作为几何对象来研究的几何群论,成为了群论中一个特别活跃的分支。.

之间线性代数和群相似

线性代数和群有(在联盟百科)26共同点: 域 (數學)卡爾·弗里德里希·高斯向量空间多項式实数交換律二元运算当且仅当微分方程單位元函数公理矩阵算法结合律物理学狭义相对论计算机科学阿瑟·凱萊量子力学逆元素PlanetMath数学数学分析

域 (數學)

在抽象代数中,域(Field)是一种可進行加、減、乘和除(除了除以零之外,「零」即加法單位元素)運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素(除零元素之外)可以进行除法运算,这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環(division ring)或skew field。.

域 (數學)和线性代数 · 域 (數學)和群 · 查看更多 »

卡爾·弗里德里希·高斯

约翰·卡爾·弗里德里希·高斯(Johann Karl Friedrich Gauß;), 德国数学家、物理学家、天文学家、大地测量学家,生于布伦瑞克,卒于哥廷根。高斯被认为是历史上最重要的数学家之一Dunnington, G. Waldo.

卡爾·弗里德里希·高斯和线性代数 · 卡爾·弗里德里希·高斯和群 · 查看更多 »

向量空间

向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何,幾何上的向量及相关的運算即向量加法,標量乘法,以及对運算的一些限制如封闭性,结合律,已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中,“向量”的概念不仅限于此,满足下列公理的任何数学对象都可被当作向量处理。譬如,實系數多項式的集合在定义适当的运算后构成向量空間,在代数上处理是方便的。单变元实函数的集合在定义适当的运算后,也构成向量空间,研究此类函数向量空间的数学分支称为泛函分析。.

向量空间和线性代数 · 向量空间和群 · 查看更多 »

多項式

多项式(Polynomial)是代数学中的基础概念,是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知数只有一个的多项式称为一元多项式;例如x^2-3x+4就是一个一元多项式。未知数不止一个的多项式称为多元多项式,例如就是一個三元多项式。 可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数,则称之为常数项。 多项式在数学的很多分支中乃至许多自然科学以及工程学中都有重要作用。.

多項式和线性代数 · 多項式和群 · 查看更多 »

实数

实数,是有理數和無理數的总称,前者如0、-4、81/7;后者如\sqrt、\pi等。实数可以直观地看作小數(有限或無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:.

实数和线性代数 · 实数和群 · 查看更多 »

交換律

交換律(Commutative property)是被普遍使用的一個數學名詞,意指能改變某物的順序而不改變其最終結果。交換律是大多數數學分支中的基本性質,而且許多的數學證明需要倚靠交換律。簡單運算的交換律許久都被假定存在,且沒有給定其一特定的名稱,直到19世紀,數學家開始形式化數學理論之後,交換律才被聲明。.

交換律和线性代数 · 交換律和群 · 查看更多 »

二元运算

二元运算属于数学运算的一种。二元运算需要三个元素:二元运算符以及该运算符作用的两个变量。如四则运算的加、减、乘、除均属于二元运算。 如在运算1 + 2之中,二元运算符为“+”,而该运算符作用的操作数分别为1与2。 二元运算只是二元函数的一种,由于它被广泛应用于各个领域,因此受到比其它函数更高的重视。.

二元运算和线性代数 · 二元运算和群 · 查看更多 »

当且仅当

当且仅当(If and only if)(中国大陆又称作当且--仅当,臺灣又称作若且--唯若),在--邏輯中,逻辑算符反互斥或閘(exclusive or)是对两个运算元的一种邏輯分析类型,符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”;“A是B的充分必要条件(充要條件)”。 一般而言,當我們看到“A当且仅当B”,我們可以知道“如果A成立時,則B一定成立;如果B成立時,則A也一定成立”;“如果A不成立時,則B一定不成立;如果B不成立時,則A也一定不成立”。.

当且仅当和线性代数 · 当且仅当和群 · 查看更多 »

微分方程

微分方程(Differential equation,DE)是一種數學方程,用來描述某一類函数與其导数之间的关系。微分方程的解是一個符合方程的函數。而在初等数学的代数方程裡,其解是常数值。 微分方程的应用十分广泛,可以解决许多与导数有关的问题 。物理中许多涉及变力的运动学、动力学问题,如空气的阻力為速度函數的落体运动等问题,很多可以用微分方程求解。此外,微分方程在化学、工程学、经济学和人口统计等领域都有应用。 数学领域对微分方程的研究着重在几个不同的面向,但大多数都是关心微分方程的解。只有少数简单的微分方程可以求得解析解。不过即使没有找到其解析解,仍然可以确认其解的部份性质。在无法求得解析解时,可以利用数值分析的方式,利用电脑来找到其数值解。 动力系统理论强调对于微分方程系统的量化分析,而许多数值方法可以计算微分方程的数值解,且有一定的准确度。.

微分方程和线性代数 · 微分方程和群 · 查看更多 »

單位元

單位元是集合裏的一種特別的元素,與該集合裏的二元運算有關。當單位元和其他元素結合時,並不會改變那些元素。單位元被使用在群和其他相關概念之中。 設 (S,*)為一帶有一二元運算* 的集合S(稱之為原群),則S內的一元素e被稱為左單位元若對所有在S內的a而言,e * a .

單位元和线性代数 · 單位元和群 · 查看更多 »

函数

函數在數學中為兩集合間的一種對應關係:輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數,若以3作為此函數的輸入值,所得的輸出值便是9。 為方便起見,一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值,則其輸出值一般寫作f(x),讀作f of x。上述的平方函數關係寫成數學式記為f(x).

函数和线性代数 · 函数和群 · 查看更多 »

公理

在傳統邏輯中,公理是沒有經過證明,但被當作不證自明的一個命題。因此,其真實性被視為是理所當然的,且被當做演繹及推論其他(理論相關)事實的起點。當不斷要求證明時,因果關係毕竟不能無限地追溯,而需停止於無需證明的公理。通常公理都很簡單,且符合直覺,如「a+b.

公理和线性代数 · 公理和群 · 查看更多 »

矩阵

數學上,一個的矩陣是一个由--(row)--(column)元素排列成的矩形阵列。矩陣--的元素可以是数字、符号或数学式。以下是一个由6个数字元素构成的2--3--的矩阵: 大小相同(行数列数都相同)的矩阵之间可以相互加减,具体是对每个位置上的元素做加减法。矩阵的乘法则较为复杂。两个矩阵可以相乘,当且仅当第一个矩阵的--数等于第二个矩阵的--数。矩阵的乘法满足结合律和分配律,但不满足交换律。 矩阵的一个重要用途是解线性方程组。线性方程组中未知量的系数可以排成一个矩阵,加上常数项,则称为增广矩阵。另一个重要用途是表示线性变换,即是诸如.

矩阵和线性代数 · 矩阵和群 · 查看更多 »

环可能指:.

环和线性代数 · 环和群 · 查看更多 »

算法

-- 算法(algorithm),在數學(算學)和電腦科學之中,為任何良定义的具體計算步驟的一个序列,常用於計算、和自動推理。精確而言,算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算,當其時能從一個初始狀態和初始輸入(可能爲空)開始,經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法,包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题,並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數,阿隆佐·邱奇於1936年提出的λ演算,1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前,依然常有直覺想法難以定義爲形式化算法的情況。.

算法和线性代数 · 算法和群 · 查看更多 »

结合律

在數學中,結合律(associative laws)是二元運算可以有的一個性質,意指在一個包含有二個以上的可結合運算子的表示式,只要運算元的位置沒有改變,其運算的順序就不會對運算出來的值有影響。亦即,重新排列表示式中的括號並不會改變其值。例如: 上式中的括號雖然重新排列了,但表示式的值依然不變。當這在任何實數的加法上都成立時,我們說「實數的加法是一個可結合的運算」。 結合律不應該和交換律相混淆。交換律會改變表示式中運算元的位置,而結合律則不會。例如: 是一個結合律的例子,因為其中的括號改變了(且因此運算子在運算中的順序也改變了),而運算元5、2、1則在原來的位置中。再來, 則不是一個結合律的例子,因為運算元2和5的位置互換了。 可結合的運算在數學中是很常見的,且事實上,大多數的代數結構確實會需要它們的二元運算是可結合的。不過,也有許多重要且有趣的運算是不可結合的;其中一個簡單的例子為向量積。.

线性代数和结合律 · 结合律和群 · 查看更多 »

物理学

物理學(希臘文Φύσις,自然)是研究物質、能量的本質與性質,以及它們彼此之間交互作用的自然科學。由於物質與能量是所有科學研究的必須涉及的基本要素,所以物理學是自然科學中最基礎的學科之一。物理學是一種實驗科學,物理學者從觀測與分析大自然的各種基於物質與能量的現象來找出其中的模式。這些模式(假說)稱為「物理理論」,經得起實驗檢驗的常用物理理論稱為物理定律,直到有一天被證明是有錯誤為止(具可否證性)。物理學是由這些定律精緻地建構而成。物理學是自然科學中最基礎的學科之一。化學、生物學、考古學等等科學學術領域的理論都是建構於這些物理定律。 物理學是最古老的學術之一。物理學、化學、生物學等等原本都歸屬於自然哲學的範疇,直到十七世紀至十九世紀期間,才漸漸地從自然哲學中分別成長為獨立的學術領域。物理學與其它很多跨領域研究有相當的交集,如量子化學、生物物理學等等。物理學的疆界並不是固定不變的,物理學裡的創始突破時常可以用來解釋這些跨領域研究的基礎機制,有時還會開啟嶄新的跨領域研究。 通過創建新理論與發展新科技,物理學對於人類文明有極為顯著的貢獻。例如,由於電磁學的快速發展,電燈、電動機、家用電器等新產品纷纷涌现,人類社會的生活水平也得到大幅提升。由於核子物理學日趨成熟,核能發電已不再是藍圖構想,但其所引致的安全問題也使人們意識到地球環境、生態與人類的脆弱渺小。.

物理学和线性代数 · 物理学和群 · 查看更多 »

狭义相对论

-- 狭义相对论(英文:Special relativity)是由爱因斯坦、洛仑兹和庞加莱等人创立的,應用在惯性参考系下的时空理论,是对牛顿时空观的拓展和修正。爱因斯坦在1905年完成的《論動體的電動力學》論文中提出了狭义相对论Albert Einstein (1905) "", Annalen der Physik 17: 891; 英文翻譯為George Barker Jeffery和 Wilfrid Perrett翻譯的(1923); 另一版英文翻譯為Megh Nad Saha翻譯的On the Electrodynamics of Moving Bodies(1920).

狭义相对论和线性代数 · 狭义相对论和群 · 查看更多 »

计算机科学

计算机科学用于解决信息与计算的理论基础,以及实现和应用它们的实用技术。 计算机科学(computer science,有时缩写为CS)是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域;有些强调特定结果的计算,比如计算机图形学;而有些是探討计算问题的性质,比如计算复杂性理论;还有一些领域專注于怎样实现计算,比如程式語言理論是研究描述计算的方法,而程式设计是应用特定的程式語言解决特定的计算问题,人机交互则是專注于怎样使计算机和计算变得有用、好用,以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业(比如信息技术),或者只是与使用计算机的经验有关,如玩游戏、上网或者文字处理。其实计算机科学所关注的,不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质,更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学(computer science)的名字里包含计算机这几个字,但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此,一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学(computing science),以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy",以反映这一事实,即科学学科是围绕着数据和数据处理,而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院,该学院成立于1969年,Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时,在计算技术发展初期,《ACM通讯》建议了一些针对计算领域从业人员的术语:turingineer,turologist,flow-charts-man,applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上,comptologist被提出,第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆,起源于信息(information)和数学或者自动(automatic)的名字比起源于计算机或者计算(computation)更常见,如informatique(法语),Informatik(德语),informatika(斯拉夫语族)。 著名计算机科学家Edsger Dijkstra曾经指出:“计算机科学并不只是关于计算机,就像天文学并不只是关于望远镜一样。”("Computer science is no more about computers than astronomy is about telescopes.")设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如,研究计算机硬件被看作是计算机工程的一部分,而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而,现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉,比如心理学,认知科学,语言学,数学,物理学,统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切,一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大,如Kurt Gödel和Alan Turing,这两个领域在某些学科,例如数理逻辑、范畴论、域理论和代数,也不断有有益的思想交流。.

线性代数和计算机科学 · 群和计算机科学 · 查看更多 »

阿瑟·凱萊

阿瑟·凱萊(Arthur Cayley,英語發音,),英國數學家。.

线性代数和阿瑟·凱萊 · 群和阿瑟·凱萊 · 查看更多 »

量子力学

量子力学(quantum mechanics)是物理學的分支,主要描写微观的事物,与相对论一起被认为是现代物理学的两大基本支柱,许多物理学理论和科学,如原子物理学、固体物理学、核物理学和粒子物理学以及其它相关的學科,都是以其为基础。 19世紀末,人們發現舊有的經典理論無法解釋微观系统,於是經由物理學家的努力,在20世紀初創立量子力学,解釋了這些現象。量子力學從根本上改變人類對物質結構及其相互作用的理解。除透过广义相对论描写的引力外,迄今所有基本相互作用均可以在量子力学的框架内描述(量子场论)。 愛因斯坦可能是在科學文獻中最先給出術語「量子力學」的物理學者。.

线性代数和量子力学 · 群和量子力学 · 查看更多 »

逆元素

數學中,逆元素(Inverse element)推廣了加法中的加法逆元和乘法中的倒數。直觀地說,它是一個可以取消另一給定元素運算的元素。.

线性代数和逆元素 · 群和逆元素 · 查看更多 »

PlanetMath

PlanetMath是一本自由、協作的網絡數學百科全書。強調同行評審、嚴密、公開、具教育性、實時內容、內容互連、以及群體協作。PlanetMath的目標是成為一本綜合性的網絡數學百科全書。該企劃位於弗吉尼亚理工学院暨州立大学的數碼圖書館研究實驗室。 PlanetMath企劃開始於另一本網絡數學百科全書MathWorld因法院禁制令而下線的時候。其時CRC Press控告沃夫朗研究公司(Wolfram Research)與其員工埃立克·魏爾斯史甸(MathWorld創辦人)違反合約。(詳見MathWorld條目) PlanetMath使用知识共享 署名-相同方式共享 协议。開始寫作一篇新文章的作者將會成為該文章的擁有者;其後他可以選擇向其他的人或小組發出更改的授權。所有的內容都使用LaTeX格式來編寫。LaTeX是一個受數學家歡迎的排版系統:它需要使用者重新學習,但能夠產生出符合數學排版需要的高質素輸出。使用者可以明確地設定到其他文章的連結,系統亦會自動將某些字詞轉換成連接到已有文章的連結。每一篇文章都會使用美國數學學會的分類系統來分門別類。 使用者可以在文章上貼上補遺、勘誤表和討論。網站亦擁有一個用戶間傳遞私人訊息的系統。 以同行評審為中心的性質使得PlanetMath的內容比起MathWorld更與眾不同、更嚴密及更有學院味道。 運行PlanetMath的軟件使用了perl來編寫,並運行於Linux及Apache網頁伺服器上。軟件名稱為Noösphere,使用自由的BSD許可證來發行。.

PlanetMath和线性代数 · PlanetMath和群 · 查看更多 »

在數學的抽象代數中,環上的模 (module over a ring)的概念是對向量空間概念的推廣,這裡不再要求向量空間裡的純量的代數結構是體(field),進而放寬純量可以是環(ring)。 因此,模同向量空間一樣是加法交换群;在環元素和模元素之間定義了乘積運算,并且環元素和模元素的乘積是符合結合律的(在同環中的乘法一起用的時候)和分配律的。 模非常密切的關聯於群的表示理論。它們還是交換代數和同調代數的中心概念,并廣泛的用于代數幾何和代數拓撲中。.

模和线性代数 · 模和群 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.

数学和线性代数 · 数学和群 · 查看更多 »

数学分析

数学分析(mathematical analysis)区别于其他非数学类学生的高等数学内容,是分析学中最古老、最基本的分支,一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容,并包括它们的理论基础(实数、函数、測度和极限的基本理论)的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。出自《数学辞海(第一卷)》 数学分析研究的內容包括實數、複數、實函數及複變函數。数学分析是由微積分演進而來,在微积分发展至现代阶段中,从应用中的方法总结升华为一类综合性分析方法,且初等微積分中也包括許多數學分析的基礎概念及技巧,可以认为这些应用方法是高等微积分生成的前提。数学分析的方式和其幾何有關,不過只要任一數學空間有定義鄰域(拓扑空间)或是有針對兩物件距離的定義(度量空间),就可以用数学分析的方式進行分析。.

数学分析和线性代数 · 数学分析和群 · 查看更多 »

上面的列表回答下列问题

线性代数和群之间的比较

线性代数有115个关系,而群有222个。由于它们的共同之处26,杰卡德指数为7.72% = 26 / (115 + 222)。

参考

本文介绍线性代数和群之间的关系。要访问该信息提取每篇文章,请访问:

嘿!我们在Facebook上吧! »